※一部利用できない機能があります
General recursion theory : an axiomatic approach
- 資料種別:
- 図書
- 責任表示:
- Jens E. Fenstad
- 言語:
- 英語
- 出版情報:
- Berlin ; New York : Springer-Verlag, 1980
- 形態:
- xi, 225 p. ; 25 cm
- 著者名:
- Fenstad, Jens Erik <DA02088680>
- シリーズ名:
- Perspectives in mathematical logic <BA00027452>
- 書誌ID:
- BA06355953
- ISBN:
- 9780387093499 [0387093494] (: us)
9783540093497 [3540093494] (: gw) - 電子版が利用できる場合の注意事項は こちら をご覧ください。