Collected works

フォーマット:

図書

責任表示:

Kurt Gödel ; edited by Solomon Feferman ... [et al.]

言語:

英語; ドイツ語

出版情報:

New York ; Oxford ; Tokyo : Oxford University Press, 1986-2003

形態:

5 v. : ill., facsims., ports. ; 25 cm

著者名:

書誌ID:

BA0006462X

ISBN:

9780195039641 [0195039645] (v. 1)

9780195039726 [0195039726] (v. 2)

9780195072556 [0195072553] (v. 3)

9780198500735 [0198500734] (v. 4)

9780198500759 [0198500750] (v. 5)

子書誌情報

所蔵情報

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

詳細

主題:	Logic, Symbolic and mathematical--Collected works
分類・件名:	LCC : QA9 DDC : 511.3 NDC8 : 410.8 LCSH : Logic, Symbolic and mathematical -- Collected works
LCCN:	85015501
注記:	"Prepared under the auspices of the Association for Symbolic Logic" Contents: v. 1. Publications 1929-1936. -- v. 2. Publications 1938-1974. -- v. 3. Unpublished essays and lectures -- v. 4. Correspondence A-G -- v. 5. Correspondence H-Z German text, parallel English translation Includes bibliographical references and indexes

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The collected works of Julia Robinson Robinson, Julia, d. 1985, Feferman, Solomon American Mathematical Society	7 図書 Collected works Marx, Karl, 1818-1883, Engels, Friedrich, 1820-1895 Progress
2 図書 The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory Gödel, Kurt, 1906-1978 Princeton University Press	8 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society Springer-Verlag
3 図書ゲーデル未刊哲学論稿 Gödel, Kurt, 1906-1978, Rodríguez-Consuegra, Francisco A., 1951-, 好田, 順治(1927-) 青土社	9 図書 Thomas Middleton : the collected works Middleton, Thomas, 1580-1627, Taylor, Gary, 1953-, Lavagnino, John Clarendon Press, Oxford University Press
4 図書不完全性定理 Gödel, Kurt, 1906-1978, 林, 晋(1953-), 八杉, 満利子(1937-) 岩波書店	10 図書 Collected works of A.M. Turing Turing, Alan Mathison, 1912-1954 North-Holland
5 図書 Model-theoretic logics Barwise, Jon, Feferman, Solomon Springer-Verlag	11 図書 Malinowski : collected works Routledge
6 図書 Selected mathematical papers of Axel Thue Thue, Axel, 1863-1922, Nagell, Trygve, 1895- Universitetsforlaget	12 図書 Kunihiko Asai collected works 浅井, 邦彦哲学書房