The Semantics and Proof Theory of the Logic of Bunched Implications
Beschreibung
This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
17.04.2013
ISBN/EAN
978-94-017-0091-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Das ist ein E-Book
Autor
Herausgegeben von R.J. De Queiroz
Titel
Logic for Concurrency and Synchronisation
Beschreibung
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. O ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
11.04.2006
ISBN/EAN
978-0-306-48088-1
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Das ist ein E-Book
Autor
Lorenz J. Halbeisen
Titel
Combinatorial Set Theory
Untertitel
With a Gentle Introduction to Forcing
Beschreibung
This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set t ...mehr
Verlag
Springer London
Erscheinungsdatum
24.11.2011
ISBN/EAN
978-1-4471-2173-2
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
139,09 €
Autor
Herausgegeben von Amirouche Moktefi, Herausgegeben von Sun-Joo Shin
Roman. Aus dem Amerikanischen von Tobias Schnettler
Beschreibung
Ein wirklich guter Berlinroman.
Mit Leichtigkeit werden schwierige Themen verhandelt: Identität, Gender, Nationalsozialismus, Klassengrenzen und vieles mehr.