Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

David J. Pym

Eike Ritter

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 04527270

Uitgeverij Oxford University Press, april 2004

This book is a specialized monograph on the development of the mathematical and computational metath... Volledige beschrijving

Libristo-code: 04527270

594 b

245.04 €

In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Liberalismus, Socialismus Und Christliche Gesellschaftsordnung Heinrich Pesch

Gebonden (harde band)

38.17 €

Jak to žije na farmě Rebecca Finn

Leporello (harmonicaboek)

8.07 €

Nicht totzukriegen Claus Vaske

Gebonden (paperback)

14.94 €

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 .

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Reductive Logic and Proof-search

Auteur David J. Pym, Eike Ritter

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2004

Aantal pagina's 232

EAN 9780198526339

ISBN 0198526334

Libristo-code 04527270

Uitgeverij Oxford University Press

Gewicht 480

Afmetingen 162 x 242 x 18

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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

Gebonden (harde band)

255.95 €

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

Gebonden (paperback)

11.20 €

Arcane Brian Sweet

Gebonden (paperback)

25.34 €

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

Gebonden (paperback)

28.78 €

Algunas Verdades y Otras Perversidades Kalent Zaiz

Gebonden (paperback)

14.23 €

Driven James Sallis

Gebonden (paperback)

17.57 €

My Life After Death Erik Medhus

Gebonden (paperback)

15.04 €

Heart of the Sword MARK CHIN

Gebonden (paperback)

34.74 €

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

Gebonden (paperback)

15.55 €

Hospice in America Josefina Bautista Magno

Gebonden (paperback)

12.01 €

Gilles de la Tourette syndrome Aamir Al Mosawi

Gebonden (paperback)

32.01 €

Minions: Super Banana Games! Renaud Collin

Gebonden (harde band)

6.96 €

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

Gebonden (paperback)

36.35 €