Titel
Reductive Logic and Proof-search - Proof Theory, Semantics, and Control
Schrijver
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)
Taal
Engels
ISBN
9780198526339
Uitgever
Oxford University Press
Prijs
€ 221,80(Excl. verzendkosten)
Verzendkosten
€ 2,95
Bijzonderheden
2004 232pp Gebonden
Meer info
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.
Afbeeldingen
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.
- Dit boek is nieuw
- Van toepassing zijn de Algemene Verkoopvoorwaarden Boekstra
- Na uw bestelling ontvangen u en Boekstra een bevestiging per e-mail.
- U handelt deze bestelling rechtstreeks af met Boekstra. In de e-mail staan de naam,adres, woonplaats en telefoonnummer van Boekstra vermeld.
- Boekstra kan betaling vooraf vragen.
- De Koper betaalt de verzendkosten, tenzij anders overeen gekomen.
- Boekwinkeltjes.nl brengt u en Boekstra uitsluitend tot elkaar en is op generlei wijze verantwoordelijk voor de afwikkeling van deze bestelling.