DOI10.2307/2274334zbMath0589.03001MaRDI 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 theory; completeness; semantics; soundness; axiomatization
Mathematics Subject Classification ID
03B60: Other nonclassical logic
03B10: Classical first-order logic
Related Items