Interpretability over Peano Arithmetic
Journal article, 1999

Author

Claes Strannegård

University of Gothenburg

Journal of Symbolic Logic

Vol. 64 4 1407--1425-

Subject Categories

Philosophy

More information

Created

10/10/2017