Binary operations (1989)

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

Documents Related by Co-Citation

1012 Functions from a set to a set – Czesław Byliński - 1989
1187 Properties of subsets – Zinaida Trybulec - 1989
1278 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
1257 Functions and their basic properties – Czesław Byliński - 2003
988 Relations and their basic properties – Edmund Woronowicz - 1989
725 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
432 Partial Functions – Czes Law Byli'nski
642 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
634 The ordinal numbers – Grzegorz Bancerek - 1989
295 Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990
258 Binary operations applied to functions – Andrzej Trybulec - 1989
292 Domains and their Cartesian products – Andrzej Trybulec - 1989
551 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
370 Subsets of real numbers – Andrzej Trybulec
251 Basis of Real Linear Space – Wojciech Trybulec - 1990
457 Relations defined on sets – Edmund Woronowicz - 1989
262 Pigeon hole principle – Wojciech A. Trybulec - 1990
311 Finite sets – Agata Darmochwał - 1989
113 Basic functions and operations on functions – Czesław Byliński - 1989