Publication:2856047
From MaRDI portal
zbMath1273.03044MaRDI QIDQ2856047
Publication date: 23 October 2013
03B60: Other nonclassical logic
03B25: Decidability of theories and sets of sentences
03F40: Gödel numberings and issues of incompleteness