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

Intermediate logic

フォーマット:
図書
責任表示:
David Bostock
言語:
英語
出版情報:
Oxford : Clarendon Press
New York : Oxford University Press, 1997
形態:
ix, 393 p. : ill. ; 24 cm
著者名:
Bostock, David <DA00659791>  
書誌ID:
BA32164125
ISBN:
9780198751410 [0198751419] (: hbk)  CiNii Books  Webcat Plus  Google Books
9780198751427 [0198751427] (: pbk)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Papers in philosophical logic

Lewis, David K.

Cambridge University Press
7 図書 Modal logic

Chagrov, Alexander, Zakharyaschev, Michael

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

Harel, David, 1950-

Springer-Verlag
8 図書 Mathematical logic

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

Springer-Verlag
3 図書 An introduction to Hilbert space and quantum logic

Cohen, David W.

Springer-Verlag
9 図書 Logic and complexity

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

Springer
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 図書 Computability and logic

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

Cambridge University Press
5 図書 Computability and logic

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

Cambridge University Press
11 図書 Mathematical Logic

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

Association for Symbolic Logic, A.K. Peters
6 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer
12 図書 Handbook of logic in artificial intelligence and logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press