Pigeon hole principle (1990)

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

Documents Related by Co-Citation

1237 Functions and their basic properties – Czesław Byliński - 1989
1274 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
971 Relations and their basic properties – Edmund Woronowicz - 1989
1164 Properties of subsets – Zinaida Trybulec - 1989
991 Functions from a set to a set – Czesław Byliński - 1989
633 The fundamental properties of natural numbers – Grzegorz Bancerek - 1989
616 The ordinal numbers – Grzegorz Bancerek - 1989
413 Partial Functions – Czes Law Byli'nski
537 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
246 Binary operations applied to functions – Andrzej Trybulec - 1989
370 Subsets of real numbers – Andrzej Trybulec
709 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
301 Finite sets – Agata Darmochwał - 1989
281 Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990
325 Binary operations – Czesław Byliński - 1989
224 The Reflection Theorem – Grzegorz Bancerek - 1990
208 Finite sets – Agata Darmochwa̷l - 1990
441 Relations defined on sets – Edmund Woronowicz - 1989
193 Many-sorted sets – Andrzej Trybulec - 1993