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

Theory of formal systems

種類:
図書
責任表示:
by Raymond M. Smullyan
出版情報:
Princeton, N.J. : Princeton University Press, 1961
著者名:
Smullyan, Raymond M., 1919- <DA01209440>  
シリーズ名:
Annals of mathematics studies ; no. 47 <BA00300336>
ISBN:
9780691080475 [069108047X]  CiNii Books  Calil
注記:
"This study is a revision of the author's recent doctoral dissertation [31]."--Pref
Bibliography: 141-142
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. Theory of formal systems. Rev. ed
by Raymond M. Smullyan , Princeton University Press , 1962

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Theory of formal systems

Smullyan, Raymond M., 1919-

Princeton University Press
7 図書 Theory of computation

Brainerd, Walter S., Landweber, Lawrence H.

Wiley
2 図書 Recursion theory for metamathematics

Smullyan, Raymond M., 1919-

Oxford University Press
8 図書 Introduction to the theory of computation

Engeler, Erwin, 1930-

Academic Press
3 図書 A relational theory of computing

Sanderson, John G., 1929-

Springer-Verlag
9 図書 Recursive functions in computer theory

Péter, Rózsa, 1905-

Ellis Horwood, Halsted Press
4 図書 Algorithmic information theory

Chaitin, Gregory J.

Cambridge University Press
10 図書 Recursive macroeconomic theory

Ljungqvist, Lars, Sargent, Thomas J.

MIT Press
5 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
11 図書 Theory of recursive functions and effective computability

Rogers, H. (Hartley), 1926-

McGraw-Hill
6 図書 Set theory and the continuum problem

Smullyan, Raymond M., 1919-, Fitting, Melvin, 1942-

Clarendon Press, Oxford University Press
12 図書 Algorithms and recursive functions

Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967, Boron, Leo F., Sanchis, Luis E., Stillwell, John, 井関, 清志(1919-)

Wolters-Noordhoff