Pigeon hole principle (1990)

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

Documents Related by Co-Citation

982 Relations and their basic properties – Edmund Woronowicz - 1989
1276 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
1252 Functions and their basic properties – Czesław Byliński - 2003
1178 Properties of subsets – Zinaida Trybulec - 1989
1007 Functions from a set to a set – Czesław Byliński - 1989
641 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
627 The ordinal numbers – Grzegorz Bancerek - 1989
426 Partial Functions – Czes Law Byli'nski
545 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
256 Binary operations applied to functions – Andrzej Trybulec - 1989
370 Subsets of real numbers – Andrzej Trybulec
721 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
310 Finite sets – Agata Darmochwał - 1989
291 Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990
330 Binary operations – Czesław Byliński - 1989
228 The Reflection Theorem – Grzegorz Bancerek - 1990
207 Finite sets – Agata Darmochwal - 1989
449 Relations defined on sets – Edmund Woronowicz - 1989
194 Many-sorted sets – Andrzej Trybulec - 1993