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

An introduction to Gödel's Theorems

フォーマット:
図書
責任表示:
Peter Smith
言語:
英語
出版情報:
Cambridge, UK : Cambridge University Press, 2007
形態:
xiv, 361 p. ; 25 cm
著者名:
Smith, Peter  
シリーズ名:
Cambridge introductions to philosophy <BA80610935>
書誌ID:
BA8276442X
ISBN:
9780521857840 [0521857848] (: hbk)  CiNii Books  Webcat Plus  Google Books
9780521674539 [0521674530] (: pbk)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック There's something about Gödel : the complete guide to the incompleteness theorem

Berto, Francesco

Wiley-Blackwell
7 図書 Introduction to symbolic logic

Basson, A. h., O'Connor, D. J. (Daniel John), 1914-

University Tutorial Press
2 図書 Recursion theory, Gödel's theorems, set theory, model theory

Cori, René, Lascar, D. (Daniel), 1942-

Oxford University Press
8 図書 An introduction to Wittgenstein's Tractatus

Anscombe, G. E. M. (Gertrude Elizabeth Margaret), 1919-

University of Pennsylvania Press
3 図書 Reflections on Kurt Gödel

Wang, Hao, 1921-

MIT Press
9 図書 Introduction to the foundations of mathematics

Wilder, Raymond Louis, 1896-

Wiley, Toppan
4 図書 Gödel, Escher, Bach : an eternal golden braid

Hofstadter, Douglas R., 1945-

Basic Books
10 図書 Wittgenstein's Tractatus : an introduction

Mounce, H. O.

B. Blackwell
5 図書 The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Dartmouth
11 図書 Introduction to elementary mathematical logic

Stoli︠a︡r, A. A. (Abram Aronovich)

MIT Press
6 図書 A mathematical introduction to logic

Enderton, Herbert B

Harcourt/Academic Press
12 図書 Introduction to semantics and formalization of logic

Carnap, Rudolf, 1891-1970

Harvard University Press