Truth and provability

DOI10.1007/s00283-012-9328-6zbMath1295.03040OpenAlexW1976960095MaRDI QIDQ354136

Raymond M. Smullyan

Publication date: 18 July 2013

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00283-012-9328-6

Mathematics Subject Classification ID

Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Gödel numberings and issues of incompleteness (03F40) Logic (educational aspects) (97E30)

Cites Work

• Unnamed Item
• Unnamed Item