Computational Logic and Set Theory, 2011 Applying Formalized Logic to Analysis
Auteurs : Schwartz Jacob T., Cantone Domenico, Omodeo Eugenio G.
Préfacier : Davis Martin
Introduction.- Propositional and Predicate-Calculus Preliminaries.- A Survey of Inference Mechanisms.- More on the Structure of the Verifier System.- A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book.- Undecidability and Unsolvability.
Date de parution : 09-2014
Ouvrage de 416 p.
15.5x23.5 cm
Date de parution : 07-2011
Ouvrage de 416 p.
15.5x23.5 cm