CIRCULARITY IN SOUNDNESS AND COMPLETENESS

DOI10.1017/BSL.2013.4zbMath1341.03011OpenAlexW2317184677MaRDI QIDQ2925322

Richard W. Kaye

Publication date: 21 October 2014

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/17786512/download.pdf

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Cites Work

• Infinite Abelian groups, Whitehead problem and some constructions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CIRCULARITY IN SOUNDNESS AND COMPLETENESS