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

Theory of formal systems / by Raymond M. Smullyan

資料種別:
図書
出版情報:
Princeton, N.J. : Princeton University Press, 1961
形態:
viii, 142 p ; 26 cm
シリーズ名:
Annals of mathematics studies ; no. 47 <BA00300336>
著者名:
Smullyan, Raymond M., 1919- <DA01209440>  
ISBN:
9780691080475 [069108047X]
書誌ID:
BA05047468
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Recursion theory for metamathematics

Smullyan, Raymond M., 1919-

Oxford University Press
7 図書 Introductory formal logic of mathematics

Nidditch, P. H. (Peter Harold), 1928-1983

Iniversity Tutorial Press
2 図書 Gödel's incompleteness theorems

Smullyan, Raymond M., 1919-

Oxford University Press
8 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
3 図書 To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic (: pbk)

Smullyan, Raymond M., 1919-

Oxford University Press
9 図書 無限のパラドックス : パズルで学ぶカントールとゲーデル

Smullyan, Raymond M., 1919-, 長尾, 確(1962-)

白揚社
4 図書 Diagonalization and self-reference

Smullyan, Raymond M., 1919-

Clarendon Press
10 図書 Theory of computation

Brainerd, Walter S., Landweber, Lawrence H.

Wiley
5 図書 First-order logic

Smullyan, Raymond M., 1919-

Springer-Verlag
11 図書 Recursive macroeconomic theory (: hardcover)

Ljungqvist, Lars, Sargent, Thomas J.

MIT Press
6 図書 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Logic Colloquium, Crossley, John N., 1937-, Dummett, Michael A. E., 1925-

North-Holland
12 図書 An introduction to the general theory of algorithms (: pbk)

Machtey, Michael, Young, Paul, 1936-

North-Holland
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12