Parity and the Pigeonhole Principle
- 1 January 1990
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- First-order definability on finite structuresAnnals of Pure and Applied Logic, 1989
- Provability of the pigeonhole principle and the existence of infinitely many primesThe Journal of Symbolic Logic, 1988
- Counting problems in bounded arithmeticLecture Notes in Mathematics, 1985
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979