>> Google Books
所蔵情報QRコード

Frege and Gödel : two fundamental texts in mathematical logic / edited by Jean van Heijenoort

資料種別:
図書
出版情報:
Cambridge, Mass. : Harvard University Press, 1970
形態:
116 p. ; 26 cm
著者名:
ISBN:
9780674318441 [0674318447] (: hard)
9780674318458 [0674318455] (: pbk)
書誌ID:
BA14267807
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 From Frege to Gödel : a source book in mathematical logic, 1879-1931 (: pbk ; : cloth)

Van Heijenoort, Jean, 1912-

Harvard University Press
7 図書 Proofs and refutations : the logic of mathematical discovery (: hard ; : pbk)

Lakatos, Imre, 1927-1974, Worrall, John, Zahar, Elie

Cambridge University Press
2 図書 On formally undecidable propositions of Principia mathematica and related systems

Gödel, Kurt, 1906-1978, Meltzer, Bernard N., Braithwaite, R. B. (Richard Bevan)

Basic Books
8 図書 Collected papers on mathematics, logic, and philosophy

Frege, Gottlob, 1848-1925, McGuinness, Brian, Black, Max, 1909-

B. Blackwell
3 図書 The basic laws of arithmetic : exposition of the system

Frege, Gottlob, 1848-1925, Furth, Montgomery

University of California Press
9 図書 Die Grundlagen der Arithmetik : eine logisch-mathematische Untersuchung über den Begriff der Zahl

Frege, Gottlob, 1848-1925

G. Olms
4 図書 The Foundation of Arithmetic : a Logice-mathematical enquiry into the concept of Number

Frege, Gottlob, 1848-1925

Basil Blackwell
10 図書 Grundgesetze der Arithmetik (Bd. 1 ; Bd. 2)

Frege, Gottlob, 1848-1925

Wissenschaftliche Buchgesellschaft
5 図書 Mathematical logic

Kleene, Stephen Cole, 1909-

J. Wiley
11 図書 On the foundations of geometry and formal theories of arithmetic

Frege, Gottlob, 1848-1925

Yale University Press
6 図書 The axiomatic method : an introduction to mathematical logic

Lightstone, A. H.

Prentice-Hall
12 図書 フレーゲ著作集

Frege, Gottlob, 1848-1925

勁草書房
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12