DOI10.2307/2274334zbMath0589.03001OpenAlexW2032700852MaRDI QIDQ3717020
Peter Roeper
Publication date: 1985 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2307/2274334
zbMATH Keywords
quantification theorycompletenesssemanticssoundnessaxiomatization
Mathematics Subject Classification ID
Other nonclassical logic (03B60) Classical first-order logic (03B10)
Related Items