We a good story
Quick delivery in the UK

Metamathematics of First-Order Arithmetic

About Metamathematics of First-Order Arithmetic

This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

Show more
  • Language:
  • English
  • ISBN:
  • 9781107168411
  • Binding:
  • Hardback
  • Pages:
  • 474
  • Published:
  • March 2, 2017
  • Dimensions:
  • 162x240x36 mm.
  • Weight:
  • 910 g.
Delivery: 2-3 weeks
Expected delivery: October 24, 2024

Description of Metamathematics of First-Order Arithmetic

This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

User ratings of Metamathematics of First-Order Arithmetic



Find similar books
The book Metamathematics of First-Order Arithmetic can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.