![]() |
@article{DBLP:journals/jsyml/CloteM83,
author = {Peter Clote and
Kenneth Mcaloon},
title = {Two Further Combinatorial Theorems Equivalent to the 1-Consistency
of Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {48},
number = {4},
year = {1983},
pages = {1090-1104},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-20 by Michael Ley (ley@uni-trier.de)