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

Foundations without foundationalism : a case for second-order logic

フォーマット:
図書
責任表示:
Stewart Shapiro
言語:
英語
出版情報:
Oxford : Clarendon Press
New York ; Tokyo : Oxford University Press, 1991
形態:
xx, 277 p. ; 25 cm
著者名:
Shapiro, Stewart, 1951- <DA01672219>  
シリーズ名:
Oxford logic guides ; 17 <BA00017765>
書誌ID:
BA13305230
ISBN:
9780198533917 [0198533918]  CiNii Books  Webcat Plus  Google Books
9780198250296 [0198250290] (: pbk)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Dartmouth
7 図書 Modal logic

Chagrov, Alexander, Zakharyaschev, Michael

Clarendon Press, Oxford University Press
2 図書 Foundations of logic : 1903-05

Russell, Bertrand, 1872-1970, Urquhart, Alasdair, Lewis, Albert C.

Routledge
8 図書 Intermediate logic

Bostock, David

Clarendon Press, Oxford University Press
3 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
9 図書 Mathematical logic

Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang

Springer-Verlag
4 図書 David Hilbert's lectures on the foundations of arithmetic and logic

Hilbert, David, 1862-1943, Ewald, William, Sieg, Wilfried, 1945-, Hallett, Michael, 1930-, Majer, Ulrich, Schlimm, Dirk

Springer
10 図書 Logic and complexity

Lassaigne, Richard, 1944-, Rougemont, Michel de, 1953-

Springer
5 図書 Computability and logic

Boolos, George, Burgess, John P., 1948-, Jeffrey, Richard C.

Cambridge University Press
11 図書 Computability and logic

Boolos, George, Burgess, John P., 1948-, Jeffrey, Richard C.

Cambridge University Press
6 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer
12 図書 Mathematical Logic

Shoenfield, Joseph R. (Joseph Robert), 1927-

Association for Symbolic Logic, A.K. Peters