DMCA
The fundamental properties of natural numbers (1989)
Cached
Download Links
by
Grzegorz Bancerek
Venue: | Journal of Formalized Mathematics |
Citations: | 680 - 73 self |