Completeness: From Gödel to Henkin
- Manzano, M.
- Alonso, E.
ISSN: 0144-5340, 1464-5149
Year of publication: 2014
Volume: 35
Issue: 1
Pages: 50-75
Type: Article
ISSN: 0144-5340, 1464-5149
Year of publication: 2014
Volume: 35
Issue: 1
Pages: 50-75
Type: Article