An Application of Graphical Enumeration to PA
Journal of Symbolic Logic - United Kingdom
doi 10.1017/s0022481200008896
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 2003
Authors
Publisher
Cambridge University Press (CUP)
Available in full text
March 1, 2003
Cambridge University Press (CUP)