TPTP Reference: Bar81

1 entry with key starting “Bar81”. Plain BibTeX

@Book{Bar81,
    Author       = "Barendregt, H.P.",
    Year         = "1981",
    Title        = "{The Lambda Calculus: Its Syntax and Semantics}",
    Publisher    = "North-Holland",
    Address      = "Amsterdam, The Netherlands",
    Comment      = "TPTPRef"
}