Self-reference and modal logic | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

Self-reference and modal logic

フォーマット:: 図書
責任表示:: C. Smoryński
言語:: 英語
出版情報:: New York ; Tokyo : Springer-Verlag, c1985
形態:: xii, 333 p. ; 24 cm
著者名:: Smoryński, C. <DA00967454>
シリーズ名:: Universitext <BA00021004>
書誌ID:: BA00485220
ISBN:: 9780387962092 [0387962093] (: us)
9783540962090 [3540962093] (: gw)

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Modality (Logic)
LCCN:	85017219
注記:	Bibliography: p. [330]-333
登録日:	1992-02-12
分類・件名:	LCC : QA9.46 DDC : 511.3 NDC7 : 410.12 NDC7 : 116 LCSH : Modality (Logic)

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proof methods for modal and intuitionistic logics Fitting, Melvin Chris D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston	7 図書 Logic Salmon, Wesley C. Prentice-Hall
2 図書 The unprovability of consistency : an essay in modal logic Boolos, George Cambridge University Press	8 図書 A six-valued system of modal logic Krolikoski, Stanley Joseph University Microfilms International
3 図書 Modality and meaning Lycan, William G., 1945- Kluwer Academic	9 図書 Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie Wiegand, Olav K. Kluwer Academic Publishers
4 図書 Aristotle's modal syllogisms McCall, Storrs North-Holland Pub. Co.	10 図書 Provability, complexity, grammars Beklemishev, Lev Dmitrievich, 1967-, Pentus, Mati Reĭnovich, 1967-, Vereshchagin, Nikolai Konstantinovich, 1958- American Mathematical Society
5 図書 The logic of provability Boolos, George Cambridge University Press	11 図書 Natural deduction : a proof-theoretical study Prawitz, Dag Dover Publications
6 図書 Logical number theory Smoryński, C. Springer-Verlag	12 図書 A deduction model of belief Konolige, Kurt Pitman, Morgan Kaufmann