Pigeon hole principle (1990)

by Wojciech A. Trybulec
Venue:Journal of Formalized Mathematics
Citations:262 - 13 self

Documents Related by Co-Citation

1278 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
988 Relations and their basic properties – Edmund Woronowicz - 1989
1257 Functions and their basic properties – Czesław Byliński - 2003
1187 Properties of subsets – Zinaida Trybulec - 1989
1012 Functions from a set to a set – Czesław Byliński - 1989
642 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
634 The ordinal numbers – Grzegorz Bancerek - 1989
432 Partial Functions – Czes Law Byli'nski
551 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
258 Binary operations applied to functions – Andrzej Trybulec - 1989
370 Subsets of real numbers – Andrzej Trybulec
725 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
311 Finite sets – Agata Darmochwał - 1989
295 Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990
331 Binary operations – Czesław Byliński - 1989
230 The Reflection Theorem – Grzegorz Bancerek - 1990
208 Finite sets – Agata Darmochwal - 1990
457 Relations defined on sets – Edmund Woronowicz - 1989
195 Many-sorted sets – Andrzej Trybulec - 1993