Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei

The Semantics and Proof Theory of the Logic of Bunched Implications

Limba englezăengleză
Carte Copertă tare
Carte The Semantics and Proof Theory of the Logic of Bunched Implications David J. Pym
Codul Libristo: 01414875
Editura Springer Netherlands, noiembrie 2001
This monograph provides a thorough account of the model theory, proof theory and computational inter... Descrierea completă
? points 488 b
981 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri


Ar putea de asemenea, să te intereseze


La collana longobarda, Textbuch m. Audio-CD Maria Gr. Di Bernardo / Carte broșată
common.buy 69 lei
Motivational Interviewing William R Miller / Copertă tare
common.buy 439 lei
Wanted Man Lee Child / Carte broșată
common.buy 44 lei
Setkání s Prahou Pravoslav Kneidl / binding.
common.buy 68 lei
Berenstain Bears' Holiday Cookbook Zondervan / Copertă tare
common.buy 52 lei
Student Development Theory in Higher Education Terrell L. Strayhorn / Carte broșată
common.buy 386 lei
Better Health in Harder Times Jan Walmsley / Carte broșată
common.buy 253 lei
Navier-Stokes Equations in Irregular Domains L. Stupelis / Copertă tare
common.buy 638 lei
Texts Reading Texts, Sacred and Secular Alison M. Jack / Copertă tare
common.buy 1.270 lei
Backyard & Other Stories Doreen Fiol / Carte broșată
common.buy 102 lei
7 Weeks To 10 Pounds Of Muscle Brett Stewart / Carte broșată
common.buy 73 lei
curând
Answers Nigel May Barlow / Carte broșată
common.buy 124 lei
Collected Letters of George Gissing Volume 2 George Gissing / Copertă tare
common.buy 503 lei
Beyond the Burning Cross Edward J. Cleary / Carte broșată
common.buy 93 lei

This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intensional) implications co-exist with equal logical status, we give natural deduction, lambda-calculi, sequent calculus, categorical semantics, Kripke models, topological models, logical relations and computational interpretations for both propositional and predicate BI, within which both additive and multiplicative quantifiers also co-exist.§This monograph will be of interest to graduate students and researchers in mathematical logic, philosophical logic, computational logic and theoretical computer science.

Informații despre carte

Titlu complet The Semantics and Proof Theory of the Logic of Bunched Implications
Autor David J. Pym
Limba engleză
Legare Carte - Copertă tare
Data publicării 2002
Număr pagini 290
EAN 9781402007453
ISBN 1402007450
Codul Libristo 01414875
Greutatea 658
Dimensiuni 160 x 240 x 20
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

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo