DMCA

The fundamental properties of natural numbers (1989)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics
Citations:675 - 75 self