@BOOK{ Book!D - 91688631,
AUTHOR = "ANDREWS,PETER BRUCE",
TITLE = "An introduction to mathematical logic & type theory:to truth",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی امیرکبیر",
SUBJECT = " LOGIC,SYMBOLIC & MATHEMATICAL  , TYPE THEORY  ",
URL = "/book/91688631/An-introduction-to-mathematical-logic-type-theor/"}