Infinitely Many Precomplete with Respect to Parametric Expressibility Classes of Formulas in a Provability Logic of Propositions
Publié en ligne: 10 déc. 2014
Pages: 247 - 255
Reçu: 01 nov. 2013
Accepté: 01 févr. 2014
© 2014 Andrei Rusu
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.