An arithmetical reconstruction of the liar's antinomy using addition and multiplication

DOI10.1305/NDJFL/1093887641zbMath0283.02037OpenAlexW2071231717MaRDI QIDQ1844221

Giorgio Germano

Publication date: 1976

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093887641

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Hierarchies of computability and definability (03D55)

Related Items (1)

Computable stack functions for semantics of stack programs

This page was built for publication: An arithmetical reconstruction of the liar's antinomy using addition and multiplication