| Type |  Book |
| ชื่อเรื่อง | Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer |
| ผู้แต่ง | Schwichtenberg, Helmut 1942- |
| ISBN | 0521517699 |
| | 9780521517690 |
| พิมพลักษณ์ | Ithaca, NY : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2012 |
| รูปเล่ม | xiii, 465 p. : ill. ; 24 cm |
| ลิงค์ | Contents. |
| หัวเรื่อง | Computable functions |
| | Constructive mathematics |
| | Logic, Symbolic and mathematical |
| | Proof theory |
| | Recursion theory |
| | Recursive functions |