| Type |  Book |
| ชื่อเรื่อง | Formal number theory and computability : a workbook / by Alec Fisher |
| ผู้แต่ง | Fisher, Alec |
| ISBN | 0198531788 |
| พิมพลักษณ์ | Oxford [Oxfordshire] : Clarendon Press, 1982 |
| รูปเล่ม | xiii, 190 p. : ill. ; 25 cm |
| หัวเรื่อง | Incompleteness theorems |
| | Number theory |