Recursion theory for metamathematics
- 種類:
- 図書
- 責任表示:
- Raymond M. Smullyan
- 出版情報:
- New York : Oxford University Press, 1993
- 著者名:
- Smullyan, Raymond M., 1919- <DA01209440>
- シリーズ名:
- Oxford logic guides ; 22 <BA00017765>
- ISBN:
- 9780195082326 [019508232X]
- 注記:
- Includes bibliographical references and index
類似資料:
|
Clarendon Press |
Princeton University Press |
|
Springer-Verlag |
Princeton University Press |
|
Springer-Verlag |
M. Dekker |
|
Marcel Dekker |
Cambridge University Press |
|
Cambridge University Press |
Clarendon Press, Oxford University Press |
|
Springer-Verlag |
Simon & Schuster |
