## Functions and their basic properties (1989)

### Cached

### Download Links

by
Czesław Byliński

Venue: | Journal of Formalized Mathematics |

Citations: | 1257 - 32 self |