#### DMCA

## Binary operations (1989)

by
Czesław Byliński

Venue: | Journal of Formalized Mathematics |

Citations: | 363 - 6 self |

by
Czesław Byliński

Venue: | Journal of Formalized Mathematics |

Citations: | 363 - 6 self |