Oxford University Press (2004)
|Abstract||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.|
|Keywords||Logic, Symbolic and mathematical Proof theory|
|Buy the book||$27.14 used (85% off) $34.98 new (81% off) $148.75 direct from Amazon (15% off) Amazon page|
|Call number||QA9.P87 2004|
|Through your library||Configure|
Similar books and articles
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
Rajeev Gore, Linda Postniece & Alwen Tiu, Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.
Solomon Feferman (2000). Does Reductive Proof Theory Have a Viable Rationale? Erkenntnis 53 (1-2):63-96.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Added to index2009-01-28
Total downloads5 ( #160,204 of 548,999 )
Recent downloads (6 months)1 ( #63,327 of 548,999 )
How can I increase my downloads?