Binary operations (1989)

by Czesław Byliński
Venue:Journal of Formalized Mathematics
Citations:330 - 6 self

Documents Related by Co-Citation

1007 Functions from a set to a set – Czesław Byliński - 1989
1276 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
1178 Properties of subsets – Zinaida Trybulec - 1989
1252 Functions and their basic properties – Czesław Byliński - 2003
982 Relations and their basic properties – Edmund Woronowicz - 1989
721 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
426 Partial Functions – Czes Law Byli'nski
641 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
627 The ordinal numbers – Grzegorz Bancerek - 1989
291 Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990
256 Binary operations applied to functions – Andrzej Trybulec - 1989
290 Domains and their Cartesian products – Andrzej Trybulec - 1989
545 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
370 Subsets of real numbers – Andrzej Trybulec
250 Basis of Real Linear Space – Wojciech Trybulec - 1990
449 Relations defined on sets – Edmund Woronowicz - 1989
262 Pigeon hole principle – Wojciech A. Trybulec - 1990
310 Finite sets – Agata Darmochwał - 1989
112 Basic functions and operations on functions – Czesław Byliński - 1989