college publications
Model Theory for Beginners. 15 Lectures
TaschenbuchSofort lieferbarThis book presents an introduction to model theory in 15 lectures. It concentrates on several key...
Knowledge in Flux
TaschenbuchBezug 6-10This is a new edition of Gärdenfors' classic text, presented to the community with a Foreword by ...
Handbook of Deontic Logic and Normative Systems
TaschenbuchBezug 6-10The Handbook of Deontic Logic and Normative Systems presents adetailed overview of the main lines...
Adventures in Formalism
TaschenbuchBezug 6-10Mathematics originates with intuition. But intuition alone can only go so far and formalism devel...
Proof Theory of N4-Paraconsistent Logics
TaschenbuchBezug 6-10The present book is the first monograph ever with a central focus on the proof theory of paracons...
The Haskell Road to Logic, Maths and Programming. Second Edition
TaschenbuchBezug 6-10Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geome...
Algorithms in Bioinformatics
TaschenbuchBezug 6-10The present volume is dedicated to aspects of algorithmic work inbioinformatics and computational...
Causality and Probability in the Sciences
TaschenbuchBezug 6-10Causal inference is perhaps the most important form ofreasoning in the sciences. A panoply of dis...
Bridges from Classical to Nonmonotonic Logic
TaschenbuchBezug 6-10Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors...
The Lambda Calculus. Its Syntax and Semantics
TaschenbuchBezug 6-10The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection...
Learn PROLOG Now!
TaschenbuchBezug 6-10Prolog is a programming language, but a rather unusual one. ``Prolog'' is shortfor ``Programming ...
Intuitionistic Set Theory
TaschenbuchBezug 6-10While intuitionistic (or constructive) set theory IST has received a certain attention from mathe...