| Shelfclass_id | 4.B.1 |
| Sortkey | ANDREWS, PETER B |
| Authors | Peter B. Andrews |
| Title | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof |
| Publisher | Academic Press |
| Year | 1986 |
| Languages | eng |
| Isbn | 0120585359, 0120585367 |
| Series | Computer science and applied mathematics |
| Description | (alk. paper) (pbk.: alk. paper) xv, 304 p. 24 cm |
| Record date | 20060823 |
| Location | Orlando |
| Keywords | Logic, Symbolic and mathematical, Type theory |
| Notes | Includes index |