Relations defined on sets (1989)

by Edmund Woronowicz
Venue:Journal of Formalized Mathematics
Citations:495 - 0 self

Documents Related by Co-Citation

1293 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
1297 Functions and their basic properties – Czesław Byliński - 2003
1229 Properties of subsets – Zinaida Trybulec - 1989
1024 Relations and their basic properties – Edmund Woronowicz - 1989
1049 Functions from a set to a set – Czesław Byliński - 1989
758 Some basic properties of sets – Czesław Byliński - 1990
463 Partial Functions – Czes Law Byli'nski
660 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
277 Tuples, projections and Cartesian products – Andrzej Trybulec - 1990