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