Blank Cover Image
所蔵情報QRコード

On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; with introduction by R.B. Braithwaite

資料種別:
図書
出版情報:
New York : Basic Books, c1962
形態:
viii, 72 p. ; 18 cm
著者名:
書誌ID:
BA04940715
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk)

Van Heijenoort, Jean, 1912-, Frege, Gottlob, 1848-1925, Gödel, Kurt, 1906-1978

Harvard University Press
7 図書 Gödel remembered : Salzburg 10-12 July 1983

Weingartner, Paul, Schmetterer, Leopold, 1919-, Gödel, R. (Rudolf), Gödel-Symposium in Salzburg, Gödel, Kurt, 1906-1978

Bibliopolis
2 図書 Scientific explanation : a study of the function of theory, probability and law in science

Braithwaite, R. B. (Richard Bevan)

Harper
8 図書 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Logic Colloquium, Crossley, John N., 1937-, Dummett, Michael A. E., 1925-

North-Holland
3 図書 Scientific explanation : a study of the function of theory, probability and law in science

Braithwaite, R. B. (Richard Bevan)

Cambridge University Press
9 図書 Gödel, Escher, Bach : an eternal golden braid

Hofstadter, Douglas R., 1945-

Penguin
4 図書 The foundations of mathematics and other logical essays

Ramsey, Frank Plumpton, 1903-1930, Braithwaite, R. B. (Richard Bevan)

Routledge & Kegan Paul
10 図書 Philosophische Grammatik

Wittgenstein, Ludwig, 1889-1951, Rhees, Rush

B. Blackwell
5 図書 Propositional logics

Epstein, Richard L., 1947-

Kluwer Academic Publishers
11 図書 The axiomatic method : an introduction to mathematical logic

Lightstone, A. H.

Prentice-Hall
6 図書 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Mostowski, Andrzhei︠a︡

North-Holland Pub. Co.
12 図書 Constructibility and mathematical existence (: pbk)

Chihara, Charles S., 1932-

Clarendon Press, Oxford University Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12