>> Amazon.co.jp
このページのQRコード

Logic for mathematicians

種類:
図書
責任表示:
J. Barkley Rosser
出版情報:
New York : McGraw-Hill, 1953
著者名:
Rosser, J. Barkley (John Barkley), 1907- <DA04352870>  
シリーズ名:
International series in pure and applied mathematics <BA00091994>
ISBN:
9780828402941 [0828402949]  CiNii Books  Calil
注記:
Bibliography: p. 523-526
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Handbook of logic and language

Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter

Elsevier, MIT Press
2 図書 Simplified independence proofs : Boolean valued models of set theory

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

Academic Press
8 図書 Epistemic logic for AI and computer science

Meyer, John-Jules, Hoek, W. van der

Cambridge University Press
3 図書 Studies in logic

Peirce, Charles S. (Charles Sanders), 1839-1914, Johns Hopkins University

John Benjamins
9 図書 The logic design of transistor digital computers

Maley, Gerald A., Earle, John, 1921-

Prentice-Hall
4 図書 Equational logic as a programming language

O'Donnell, Michael J.

MIT Press
10 図書 Introduction to symbolic logic and its applications

Carnap, Rudolf, 1891-1970, Meyer, William H., Wilkinson, John

Dover
5 電子ブック Introduction to fuzzy logic

Peckol, James K., John Wiley & Sons

John Wiley & Sons, Inc.
11 図書 Language in action : categories, lambdas and dynamic logic

Benthem, J. F. A. K. van, 1949-

North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc.
6 図書 An algebraic introduction to mathematical logic

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag
12 図書 Logic-based methods for optimization : combining optimization and constraint satisfaction

Hooker, John, 1949-

John Wiley & Sons