A Ramsey theorem in Boyer-Moore logic
- 1 January 1995
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 15 (2) , 217-235
- https://doi.org/10.1007/bf00881917
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The Boyer-Moore prover and Nuprl: an experimental comparisonPublished by Cambridge University Press (CUP) ,1991
- Rapidly Growing Ramsey FunctionsAnnals of Mathematics, 1981
- Die Widerspruchsfreiheit der reinen ZahlentheorieMathematische Annalen, 1936