Catégorie de recherche
Problème de recherche ?

Reductive Logic and Proof-search

Auteur: Pym, David J. (Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)
Editeur: Oxford University Press
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
Sur commande
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
ISBN / EAN 9780198526339
Auteur Pym, David J. (Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)
Editeur Oxford University Press