| Type |  Book |
| ชื่อเรื่อง | Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer |
| ISBN | 0521054168 |
| | 0521054168 (pbk.) |
| | 9780521054164 (pbk.) |
| | 9780521054164 : ฿1638.00 |
| พิมพลักษณ์ | Cambridge : Cambridge University Press, c1992 |
| รูปเล่ม | x, 306 p |
| หัวเรื่อง | Proof theory |