ML-1991-02 - The Institute for Logic, Language and Computation

3 downloads 90 Views 1MB Size Report
for Mathematical Logic and Foundations ML-91-02. University of ... X-SS-Ol Marc lumelet 01"” Prepubl'cmo'“: On Solovay'a Completeness Theorem. 9 12-8901 ...