Arithmetic, foundations

Naive set theory

by Paul R. Halmos.

Mathematics for Elementary Teachers: A Contemporary Approach

Gary L. Musser, William F. Burger, Blake E. Peterson, Donald Miller

The foundations of arithmetic: a logico-mathematical enquiry into the concept of number

Gottlob Frege ; English translation by J.L. Austin.

Introduction to logic and to the methodology of deductive sciences.

[Translated by Olaf Helmer.

The higher arithmetic: an introduction to the theory of numbers

H. Davenport ; editing and additional material by James H. Davenport.

Naive Set Theory

P. R. Halmos

Foundation maths

Anthony Croft, Robert Davison.

Introduction to logic and to the methodology of the deductive sciences

by Alfred Tarski.

Real Number System in an Algebraic Setting

J. B. Roberts

Frege, Dedekind, and Peano on the foundations of arithmetic

D.A. Gillies.