#### DMCA

## The fundamental properties of natural numbers (1989)

### Cached

### Download Links

by
Grzegorz Bancerek

Venue: | Journal of Formalized Mathematics |

Citations: | 679 - 73 self |