Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

David J. Pym

Eike Ritter

Language

English

Book Hardback

Libristo code: 04527270

Publishers Oxford University Press, April 2004

This book is a specialized monograph on the development of the mathematical and computational metath... Full description

Libristo code: 04527270

594 b

245.77 €

480.68 лв

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Liberalismus, Socialismus Und Christliche Gesellschaftsordnung Heinrich Pesch

Hardback

38.32 € 74.96 лв

Jak to žije na farmě Rebecca Finn

Board book

8.64 € 16.91 лв

Nicht totzukriegen Claus Vaske

Paperback

15.53 € 30.38 лв

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes 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. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Reductive Logic and Proof-search

Author David J. Pym, Eike Ritter

Language

English

Binding Book - Hardback

Date of issue 2004

Number of pages 232

EAN 9780198526339

ISBN 0198526334

Libristo code 04527270

Publishers Oxford University Press

Weight 480

Dimensions 162 x 242 x 18

You might also be interested in

Receptive Ecumenism and the Call to Catholic Learning Paul D. Murray

Hardback

256.65 € 501.96 лв

Bees For Kids - Amazing Animal Books for Young Readers Jennifer Lejeune

Paperback

11.23 € 21.97 лв

Arcane Brian Sweet

Paperback

25.43 € 49.73 лв

Paradosis Or In The Night In Which He Was Betrayed Edwin A. Abbott

Paperback

28.85 € 56.42 лв

Algunas Verdades y Otras Perversidades Kalent Zaiz

Paperback

14.29 € 27.95 лв

Driven James Sallis

Paperback

18.64 € 36.46 лв

My Life After Death Erik Medhus

Paperback

15.07 € 29.47 лв

Heart of the Sword MARK CHIN

Paperback

34.91 € 68.27 лв

Minutes of the Proceedings of a General Court Martial, Assemble at the Castle of Good Hope, on the 4th January, 1810 Lieut Gen H G Grey

Paperback

15.64 € 30.58 лв

Hospice in America Josefina Bautista Magno

Paperback

12.06 € 23.59 лв

Gilles de la Tourette syndrome Aamir Al Mosawi

Paperback

34.08 € 66.65 лв

Minions: Super Banana Games! Renaud Collin

Hardback

7.04 € 13.77 лв

Forty Years Among The Telugus: A History Of The Mission Of The Baptists Of Ontario And Quebec, To The Telugus, South India, 1867-1907 (1908) John Craig

Paperback

36.41 € 71.21 лв