bokomslag Mathematical Logic

Mathematical Logic

Ian Chiswell

  • 260 sidor
  • 2007
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
  • Författare: Ian Chiswell
  • Illustratör: halftones and figures
  • Format: Paperback
  • ISBN: 9780199215621
  • Språk: Engelska
  • Antal sidor: 260
  • Utgivningsdatum: 2007-05-01
  • Förlag: OUP Oxford