David Hilbert's lectures on the foundations of arithmetic and logic

タイトルと所在が表示されます

David Hilbert's lectures on the foundations of arithmetic and logic

フォーマット:

図書

責任表示:

William Ewald, Wilfried Sieg, editors ; Michael Hallett, associate editor ; in collaboration with Ulrich Majer and Dirk Schlimm

言語:

英語; ドイツ語

出版情報:

Heidelberg : Springer, c2013

形態:

xxv, 1062 p. : ill., facsim., ports. ; 24 cm

著者名:

Hilbert, David, 1862-1943 <DA00700760>

Ewald, William

Sieg, Wilfried, 1945- <DA04199117>

Hallett, Michael, 1930- <DA00031456>

Majer, Ulrich <DA05304181>

Schlimm, Dirk

続きを見る

シリーズ名:

David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933 ; v. 3 <BA67315023>

書誌ID:

BB13713562

ISBN:

9783540205784 [3540205780] (1917-1933)

子書誌情報

所蔵情報

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

詳細

主題:	Arithmetic--Foundations; Logic, Symbolic and mathematical
分類・件名:	DC22 : 513.01 LCSH : Arithmetic -- Foundations LCSH : Logic, Symbolic and mathematical
LCCN:	2013938947
注記:	Text in English and German Bibliography: p. 1011-1049 Includes indexes
TTLL:	mul

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 David Hilbert's lectures on the foundations of geometry 1891-1902 Hilbert, David, 1862-1943, Hallett, Michael, 1930-, Majer, Ulrich Springer	7 図書 Papers in philosophical logic Lewis, David K. Cambridge University Press
2 図書 David Hilbert's lectures on the foundations of physics, 1915-1927 : relativity, quantum theory and epistemology Hilbert, David, 1862-1943, Sauer, Tilman, Majer, Ulrich, Schirrmacher, Arne, Schmidt, Heinz-Jürgen, 1948- Springer	8 図書 Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis … Carroll, Lewis, 1832-1898, Bartley, William Warren, 1934-1990 C.N. Potter : distributed by Crown Publishers
3 図書 Grundzüge der theoretischen Logik Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896- Springer	9 図書 Models of Peano arithmetic Kaye, Richard Clarendon Press, Oxford University Press
4 図書 Grundlagen der Mathematik Hilbert, David, 1862-1943, Bernays, Paul, 1888-1977 J. Springer	10 図書 Introduction to logic and to the methodology of deductive sciences Tarski, Alfred, 1902-, Helmer, Olaf Dover Publications
5 図書 Foundations of mathematical logic Curry, Haskell B. (Haskell Brooks), 1900- McGraw-Hill	11 図書 Symbolic logic ; and, The game of logic Carroll, Lewis, 1832-1898 Dover Publications
6 図書 Foundations of logic : 1903-05 Russell, Bertrand, 1872-1970, Urquhart, Alasdair, Lewis, Albert C. Routledge	12 図書 Computability and logic Boolos, George, Jeffrey, Richard C. Cambridge University Press