Reductive logic and proof-search: Proof theory, semantics, and control

Reductive logic and proof-search: Proof theory, semantics, and control

Author
David J. Pym, Eike Ritter
Publisher
Clarendon Press
Language
English
Edition
1
Year
2004
Page
227
ISBN
0-19-852633-4,9780198526339
File Type
pdf
File Size
1.8 MiB

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.

show more...

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book