• RecordNumber
    1179
  • Author
    Barwise, Jon
  • Title

    Language, proof, and logic

  • Author Statement
    Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
  • Publication
    CSLI Publications
  • Publication Year
    c1999
  • Collation
    xi, 587 p.
  • Notes
    Includes indexes
  • Subject

    Logic

  • ADDED ENTRIES
    Etchemendy, John, , Allwein, Gerard, , Barker-Plummer, Dave. , Liu, Albert,
  • Main class
    160
  • Cutter no
    B296l
  • ISBN
    1-889119-08-3