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

Computability and logic. 5th ed

フォーマット:
図書
責任表示:
George S. Boolos, John P. Burgess, Richard C. Jeffrey
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 2007
形態:
xiii, 350 p. : ill. ; 26 cm
著者名:
書誌ID:
BA84669033
ISBN:
9780521701464 [0521701465] (: pbk.)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料
1. Computability and logic. 4th ed (: pbk)
George S. Boolos, John P. Burgess, Richard C. Jeffrey , Cambridge University Press , 2002

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computability and logic

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

Cambridge University Press
7 図書 Studies in logic and probability

Boole, George, 1815-1864

Dover
2 図書 Logic, logic, and logic

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

Harvard University Press
8 図書 Elements of mathematical logic

Novikov, P. S. (Petr Sergeevich)

Oliver & Boyd
3 図書 Formal logic : its scope and limits

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

Hackett Pub.
9 図書 A course in mathematical logic

Manin, ÍÙ. I., Koblitz, Neal, 1948-

Springer-Verlag
4 図書 Philosophical logic

Burgess, John P., 1948-

Princeton University Press
10 図書 Logical forms : an introduction to philosophical logic

Sainsbury, R. M. (Richard Mark)

Blackwell Publishers
5 図書 Computing and logic : mathematics and language

Satty, Glenn Jay, 1949, Blakeley, Thomas J., 1931-, Colbert, James G., 1938-

Philosophia Verlag
11 図書 A course in mathematical logic for mathematicians

Manin, I︠U︡. I., Koblitz, Neal, 1948-, Zilber, Boris

Springer
6 図書 Logic and complexity

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

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