TY  - BOOK
A1  - ANDREWS,PETER BRUCE
TI  - An introduction to mathematical logic & type theory:to truth
PB  - کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
SN  - 91688631
UR  /book/91688631/An-introduction-to-mathematical-logic-type-theor/
ER  -