Titre
Reductive Logic and Proof-search - Proof Theory, Semantics, and Control
Auteur
Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol), Ritter, Eike (, Lecturer in Computer Science, University of Birmingham)
Langue
anglais
ISBN
9780198526339
Éditeur
Oxford University Press
Prix
€ 221,80(Excl. toute livraison)
Frais de livraison
€ 2,95
Détails
2004 232pp Gebonden
Plus d'informations
Flaptekst
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.
Images
Bij Boekstra koopt u nieuwe boeken tegen de vastgestelde boekenprijs.
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,90 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 3,95 euro per zending.
Bij bestellingen van 10 euro of minder zijn de verzendkosten hoger; zie vermelding bij het boek.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
- Ce livre est nouveau
- Conditions d'utilisation
- Après votre commande, vous et Boekstra recevrez un e-mail de confirmation
- Vous traitez directement avec Boekstra. Dans le courrier électronique, vous pouvez trouver le nom et l'adresse de Boekstra
- Boekstra peut demander un prépaiement
- L'acheteur paie les frais de livraison, sauf accord contraire
- Boekwinkeltjes.nl vous réunis uniquement vous et boekstra et n'est pas responsable du traitement de cette commande