Binary operations (1989)
by
Czesław Byliński
| Venue: | Journal of Formalized Mathematics |
| Citations: | 325 - 6 self |
Documents Related by Co-Citation
| 991 | Functions from a set to a set – Czesław Byliński - 1989 |
| 1274 | Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989 |
| 1164 | Properties of subsets – Zinaida Trybulec - 1989 |
| 1237 | Functions and their basic properties – Czesław Byliński - 1989 |
| 971 | Relations and their basic properties – Edmund Woronowicz - 1989 |
| 709 | Some Basic Properties of Sets – Czes Law Byli'nski - 1989 |
| 413 | Partial Functions – Czes Law Byli'nski |
| 633 | The fundamental properties of natural numbers – Grzegorz Bancerek - 1989 |
| 616 | The ordinal numbers – Grzegorz Bancerek - 1989 |
| 281 | Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990 |
| 246 | Binary operations applied to functions – Andrzej Trybulec - 1989 |
| 285 | Domains and their Cartesian products – Andrzej Trybulec - 1989 |
| 537 | Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989 |
| 370 | Subsets of real numbers – Andrzej Trybulec |
| 244 | Basis of Real Linear Space – Wojciech Trybulec - 1990 |
| 441 | Relations defined on sets – Edmund Woronowicz - 1989 |
| 259 | Pigeon hole principle – Wojciech A. Trybulec - 1990 |
| 301 | Finite sets – Agata Darmochwał - 1989 |
| 112 | Basic functions and operations on functions – Czesław Byliński - 1989 |
