Decidability Does Not Presuppose Gödel-Completeness.

Saved in:

Bibliographic Details
Title:	Decidability Does Not Presuppose Gödel-Completeness.
Authors:	Kramer, Simon
Source:	Communications of the ACM. Mar2016, Vol. 59 Issue 3, p9-9. 1/6p.
Database:	Business Source Ultimate

Description
ISSN:	00010782
DOI:	10.1145/2886028