A note on da Costa-Doria ``exotic formalizations
From MaRDI portal
Publication:711567
DOI10.1007/s00153-010-0203-xzbMath1206.03011OpenAlexW2166613262MaRDI QIDQ711567
Publication date: 27 October 2010
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0203-x
Logic in computer science (03B70) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Gödel numberings and issues of incompleteness (03F40)
Cites Work
This page was built for publication: A note on da Costa-Doria ``exotic formalizations