Construction of sentences with specific interpretability properties
Tom 142 / 1993
Fundamenta Mathematicae 142 (1993), 189-200
DOI: 10.4064/fm-142-2-189-200
Streszczenie
The Rowland Institute for Science, 100 Cambridge Parkway, Cambridge, Massachusetts 02142, U.S.A.