@Book{And86,
    Author       = "Andrews, P.B.",
    Year         = "1986",
    Title        = "{An Introduction to Mathematical Logic and Type Theory: To
                    Truth Through Proof}",
    Publisher    = "Academic Press",
    Comment      = "TPTPRef"
}