Ship-Ship-Hooray! Free Shipping on $25+ Details >
Introduction to Mathematics Logic

Introduction to Mathematics Logic - 4th edition

Introduction to Mathematics Logic - 4th edition

ISBN13: 9780412808302

ISBN10: 0412808307

Introduction to Mathematics Logic by Elliott Mendelson - ISBN 9780412808302
Edition: 4TH 97
Copyright: 1997
Publisher: Chapman & Hall
Published:
International: No
Introduction to Mathematics Logic by Elliott Mendelson - ISBN 9780412808302

ISBN13: 9780412808302

ISBN10: 0412808307

Edition: 4TH 97

shop us with confidence

Summary

This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.


Features:

  • propositional logic
  • first-order logic
  • first-order number theory and the incompleteness and undecidability theorems of Godel, Rosser, Church, and Tarski
  • theory of computability