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

Logic for mathematicians / J. Barkley Rosser

資料種別:
図書
出版情報:
New York : McGraw-Hill, 1953
形態:
xiv, 530 p. ; 23 cm
シリーズ名:
International series in pure and applied mathematics <BA00091994>
著者名:
Rosser, J. Barkley (John Barkley), 1907- <DA04352870>  
ISBN:
9780828402941 [0828402949]
書誌ID:
BA10309111
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Simplified independence proofs : Boolean valued models of set theory

Rosser, J. Barkley (John Barkley), 1907-

Academic Press
7 図書 A course in mathematical logic

Bell, J. L. (John Lane), Maḥover, Mosheh

North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.
2 図書 Many-valued logics

Rosser, J. Barkley (John Barkley), 1907-, Turquette, Atwell R. (Atwell Rufus), 1914-

North-Holland Pub. Co.
8 図書 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
3 図書 Mathematical theory of rocket flight

Rosser, J. Barkley (John Barkley), 1907-, Newton, R. R. (Robert R.), Gross, George L.

McGraw-Hill
9 図書 From catastrophe to chaos : a general theory of economic discontinuities (vol. 1)

Rosser, John Barkley, 1948-

Kluwer Academic
4 図書 A study of logics

Cleave, J. P. (John P.)

Clarendon Press, Oxford University Press
10 図書 Informal logic

Kenelly, John W.

Allyn and Bacon
5 図書 Logic for mathematicians (: pbk)

Hamilton, A. G., 1943-

Cambridge University Press
11 図書 Symbolic logic

Venn, John, 1834-1923

Chelsea
6 図書 Logic for mathematicians

Hamilton, A. G., 1943-

Cambridge University Press
12 電子ブック Computability and logic / ((ebook))

Boolos, George, Burgess, John P., Jeffrey, Richard C.
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12