Gödel's Disjunction

DOI10.1093/ACPROF:OSO/9780198759591.001.0001zbMath1354.03002OpenAlexW2555400340MaRDI QIDQ2800600

No author found.

Publication date: 15 April 2016

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198759591.001.0001

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

The dependence of computability on numerical notations ⋮ FINDING THE LIMIT OF INCOMPLETENESS I

This page was built for publication: Gödel's Disjunction