Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

David J. Pym

Eike Ritter

Limba

engleză

Carte Copertă tare

Codul Libristo: 04527270

Editura Oxford University Press, aprilie 2004

This book is a specialized monograph on the development of the mathematical and computational metath... Descrierea completă

Codul Libristo: 04527270

619 b

1 339.85 lei

În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Liberalismus, Socialismus Und Christliche Gesellschaftsordnung Heinrich Pesch

Copertă tare

210.20 lei

Jak to žije na farmě Rebecca Finn

Cărți pliante

45.21 lei

Nicht totzukriegen Claus Vaske

Carte broșată

78.38 lei

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 .

Actriță & Poliglotă

EWA KASP pentru

Redă videoclipul

Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Reductive Logic and Proof-search

Autor David J. Pym, Eike Ritter

Limba

engleză

Legare Carte - Copertă tare

Data publicării 2004

Număr pagini 232

EAN 9780198526339

ISBN 0198526334

Codul Libristo 04527270

Editura Oxford University Press

Greutatea 480

Dimensiuni 162 x 242 x 18

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic

Computing & Information Technology > Computer science > Mathematical theory of computation

Dăruiește această carte chiar astăzi

Este foarte ușor

1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

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

Copertă tare

1 399.42 lei

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

Carte broșată

61.74 lei

Arcane Brian Sweet

Carte broșată

139.61 lei

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

Carte broșată

158.22 lei

Algunas Verdades y Otras Perversidades Kalent Zaiz

Carte broșată

71.20 lei

Driven James Sallis

Carte broșată

97.61 lei

My Life After Death Erik Medhus

Carte broșată

83.78 lei

Heart of the Sword MARK CHIN

Carte broșată

173.81 lei

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

Carte broșată

86.80 lei

Hospice in America Josefina Bautista Magno

Carte broșată

67.15 lei

Gilles de la Tourette syndrome Aamir Al Mosawi

Carte broșată

178.18 lei

Minions: Super Banana Games! Renaud Collin

Copertă tare

36.79 lei

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

Carte broșată

199.60 lei