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 Cargus 28.00 lei Easybox 20.00 lei FAN 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.

Quantification in Nonclassical Logic

Dov M Gabbay

Limba

engleză

Carte Copertă tare

Codul Libristo: 01290785

Editura Elsevier Science & Technology, iunie 2009

Quantification and modalities have always been topics of great interest for logicians. These two the... Descrierea completă

Codul Libristo: 01290785

601 b

1 307.60 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Training Radical Leaders - Participant Guide - Pashto Version: A Manual to Train Leaders in Small Groups and House Churches to Lead Church-Planting Mo Daniel B Lancaster

Carte broșată

37.15 lei

Naum Michal Hvorecký

Copertă tare

55.00 lei

Theorie und Praxis des Volksschulunterrichts nach herbartischen Grundsatzen Rein Wilhelm Rein

Carte broșată

104.80 lei

Hammer's German Grammar and Usage Martin Durrell

Carte broșată

350.43 lei

Philosophia militans Friedrich Paulsen

Carte broșată

100.00 lei

Autori a ich svety Viliam Marčok

Copertă tare

43.00 lei

Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science. Although there exist several good books in propositional modal logics, this book is the first detailed monograph in nonclassical first-order quantification. It includes results obtained during the past thirty years. The field is very large, so we confine ourselves with only two kinds of logics: modal and superintuitionistic.The main emphasis of volume 1 is model-theoretic, and it concentrates on descriptions of different sound semantics and completeness problem - even for these seemingly simple questions we have our hands full. The major part of the presented material has never been published before. Some results are very recent, and for other results we either give new proofs or first proofs in full detail.