What is the best book to learn Peano Arithmetic

Question

My goal is to develop an automated proof program for Peano arithmetic. I want to know as much proofs as possible in this system for both my mathematical culture and to enrich the database of my future artificial intelligence.

I'm thinking of using Racket or Haskell.

Thank you in advance,

Answer 1

I suggest:

• Edmund Landau's Foundations of Analysis, chapter I;
• Solomon Feferman's The number systems, chapter III.