Foundations--logic, language, and mathematics

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

フォーマット:

図書

責任表示:

edited by Hugues Leblanc, Elliott Mendelson, and Alex Orenstein

言語:

英語

出版情報:

Dordrecht ; Boston : D. Reidel Pub., c1984

形態:

282 p. ; 23 cm

著者名:

書誌ID:

BA0320396X

ISBN:

9789027718419 [9027718415]

子書誌情報

所蔵情報

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

詳細

資料形態(詳細):	Text
主題:	Logic--Addresses, essays, lectures; Mathematics--Addresses, essays, lectures; Semantics (Philosophy)--Addresses, essays, lectures
LCCN:	84240611
注記:	Includes bibliographies "Reprinted from Synthese, vol.60 Nos.1 and 2"--t.p.
登録日:	1996-07-10
分類・件名:	LCC : BC71 DDC : 160 LCSH : Logic -- Addresses, essays, lectures LCSH : Semantics (Philosophy) -- Addresses, essays, lectures LCSH : Mathematics -- Addresses, essays, lectures

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Existence, truth, and provability Leblanc, Hugues, 1924- State University of New York Press	7 図書 Number systems and the foundations of analysis Mendelson, Elliott Dover Publications
2 図書 Introduction to mathematical logic Mendelson, Elliott Van Nostrand	8 図書 Truth-value semantics Leblanc, Hugues, 1924- North-Holland Pub. Co, distributor, Elsevier/North-Holland
3 図書 Introduction to mathematical logic Mendelson, Elliott Wadsworth & Brooks/Cole Advanced Books & Software	9 図書 Extensions of classical logic Gabbay, Dov M., 1945-, Guenthner, Franz D. Reidel
4 図書 Introduction to mathematical logic Mendelson, Elliott CRC Press	10 図書 Elements of classical logic Gabbay, Dov M., 1945-, Guenthner, Franz D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub.
5 図書 An introduction to deductive logic Leblanc, Hugues, 1924- J. Wiley, Chapman & Hall	11 図書 Alternatives to classical logic Gabbay, Dov M., 1945-, Guenthner, Franz D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
6 図書 Essays in honour of Jaakko Hintikka : on the occasion of his fiftieth birthday on January 12, 1979 Saarinen, Esa, 1953-, Hintikka, Jaakko, 1929- D. Reidel	12 図書 Logic, semantics, metamathematics : papers from 1923 to 1938 Tarski, Alfred, 1902-, Woodger, Joseph Henri Clarendon Press