Properties of subsets (1989)

by Zinaida Trybulec
Venue:Journal of Formalized Mathematics
Citations:1178 - 0 self

Documents Related by Co-Citation

1276 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
982 Relations and their basic properties – Edmund Woronowicz - 1989
1252 Functions and their basic properties – Czesław Byliński - 2003
721 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
1007 Functions from a set to a set – Czesław Byliński - 1989
627 The ordinal numbers – Grzegorz Bancerek - 1989
370 Subsets of real numbers – Andrzej Trybulec
426 Partial Functions – Czes Law Byli'nski
449 Relations defined on sets – Edmund Woronowicz - 1989
641 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
173 Enumerated sets – Andrzej Trybulec - 1989
310 Finite sets – Agata Darmochwał - 1989
256 Binary operations applied to functions – Andrzej Trybulec - 1989
267 Tuples, projections and Cartesian products – Andrzej Trybulec - 1989
301 Families of sets – Beata Padlewska, If Z X, Then X Z - 1989
545 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
330 Binary operations – Czesław Byliński - 1989
290 Domains and their Cartesian products – Andrzej Trybulec - 1989
47 The well ordering relations – Grzegorz Bancerek - 1989