Title: Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Publisher: Clarendon Press
Publication Date: 2004
Language: English
ISBN 10: 0198526334
ISBN 13: 9780198526339
Binding: Couverture rigide
Condition: Neuf

About this title

Synopsis

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.

About the Author

David J. Pym hold a Royal Society Industry Fellowship at Hewlett-Packard Laboratories, Bristol and the University of Bath.

"About this title" may belong to another edition of this title.

Store Description

Librairie internationale sp�cialis�e dans la vente d'ouvrages par correspondance.

Visit Seller's Storefront

Seller's business information

LIBRAIRIE ECOSPHERE
25 RUE ALFRED NOBEL, MARNE LA VALLEE CEDEX, 77421, France

Sale & Shipping Terms

Terms of Sale

Nos conditions sont conformes � celles du commerce en ligne en France.

Shipping Terms

Toutes les commandes sont exp�di�es, aux frais de port r�els, au jour le jour par transport avec assurance et tra�abilit� des colis.

Shipping rates from France to U.S.A.

Shipping rates from France to U.S.A.
Order quantity	7 to 15 business days	7 to 15 business days
First item	US$ 75.49	US$ 75.49

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.