TY  - BOOK
AU  - Andrews, Peter B.
TI  - Introduction to mathematical logic and type theory: To truth through proof
CY  - Orlando
N1  - B31 M6
ER  -