Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
📄 Viewing lite version
Full site ›
⌛ 🇫🇷 France pricing being fetched…
Prices will appear once fetched — usually within a few minutes.
View in:
🇺🇸 USA
Book Details
Author(s)David J. Pym, Eike Ritter
PublisherOxford University Press
ISBN / ASIN0198526334
ISBN-139780198526339
CategoryMathematics
MarketplaceFrance 🇫🇷
Description ▲
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.
More Books in Mathematics
Topics in Finite and Discrete Mathematics
View
Applications of Mathematics in Engineering and Economi…
View
Linear Algebra Supplement to Accompany Calculus with A…
View
Random Matrix Models and their Applications (Mathemati…
View
Continuous Crossed Products and Type III Von Neumann A…
View
First European Congress of Mathematics Paris, July 6-1…
View
Workshop Statistics: Discovery with Data, JMP Companio…
View
XXVI International Workshop on Geometrical Methods in …
View
Social Policy Reform in Hong Kong and Shanghai: A Tale…
View
Invisible Acts of Power: Channeling Grace in Your Ever…
View