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 Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Labelled Deductive Systems

Dov M. Gabbay

Limba

engleză

Carte Copertă tare

Codul Libristo: 04527517

Editura Oxford University Press, septembrie 1996

This important book provides a new unifying methodology for logic. It replaces the traditional view... Descrierea completă

Codul Libristo: 04527517

332 b

718.16 lei

În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

1985: El descubrimiento del Más Allá La historia completa de como unos científicos de San Francisco descubrieron que la muer Santiago Fuertes Bermudez

Carte broșată

71.97 lei

Darf der das? Petra Krivy

Carte broșată

63.56 lei

Chełmoński. Malarstwo Stefania Krzysztofowicz-Kozakowska

Copertă tare

31.15 lei

Die Liebe zum Hass Abdel-Hakim Ourghi

Carte broșată

112.90 lei

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas by the notion of structured families of labelled formulas, the labels having algebraic structure. This simple device has far reaching consequences for the methodology of logics and their semantics. The book studies the main features of such systems as well as many applications. The framework of Labelled Deductive Systems is of interest to a large variety of readers. At one extreme there is the pure mathematical logician who likes exact formal definitions and dry theorems, who probably specializes in one logic and methodology. At the other extreme there is the practical consumer of logic, who likes to absorb the intutions and use labelling as needed to advance the cause of applications. The book begins with an intuitive presentation of LDS in the context of traditional current views of monotonic and nonmonotonic logics. It is less orientated towards the pure logician and more towards the practical consumer of logic. The main part of the book presents the formal theory of LDS for the formal logician. The author has tried to avoid the style of definition-lemma-theorem and has put in some explanation.