The fundamental properties of natural numbers. (1990)

by Grzegorz Bancerek
Venue:Formalized Mathematics,