college publications

Grid   List

  1. Model Theory for Beginners. 15 Lectures
    Model Theory for Beginners. 15 Lectures
    Roman Kossak
    College Publications
    Taschenbuch
    Sofort lieferbar
    This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, catego...
    28,38 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Knowledge in Flux
    Knowledge in Flux
    P. Gardenfors
    College Publications
    Taschenbuch
    Bezug 6-10
    This is a new edition of Gärdenfors' classic text, presented to the community with a Foreword by David Makinson and an appendix containing a paper 'Relations between the logic of theory change and ...
    50,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. Handbook of Deontic Logic and Normative Systems
    Handbook of Deontic Logic and Normative Systems
    Dov Gabbay
    College Publications
    Taschenbuch
    Bezug 6-10
    The Handbook of Deontic Logic and Normative Systems presents adetailed overview of the main lines of research on contemporarydeontic logic and related topics.Although building on decadesof prev...
    47,96 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Adventures in Formalism
    Adventures in Formalism
    Craig Smorynski
    College Publications
    Taschenbuch
    Bezug 6-10
    Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems.Formalism, however, has its inherent dangers. There are ...
    45,65 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Proof Theory of N4-Paraconsistent Logics
    Proof Theory of N4-Paraconsistent Logics
    Norihiro Kamide
    College Publications
    Taschenbuch
    Bezug 6-10
    The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
    37,51 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. The Haskell Road to Logic, Maths and Programming. Second Edition
    The Haskell Road to Logic, Maths and Programming. Second Edition
    Kees Doets
    College Publications
    Taschenbuch
    Bezug 6-10
    Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.¿¿ Where there was no shortcut ...
    38,61 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Algorithms in Bioinformatics
    Algorithms in Bioinformatics
    C. S. Iliopoulos
    College Publications
    Taschenbuch
    Bezug 6-10
    The present volume is dedicated to aspects of algorithmic work inbioinformatics and computational biology with an emphasis on stringalgorithms that play a central role in the analysis of biological...
    31,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Causality and Probability in the Sciences
    Causality and Probability in the Sciences
    F. Russo
    College Publications
    Taschenbuch
    Bezug 6-10
    Causal inference is perhaps the most important form ofreasoning in the sciences. A panoply of disciplines, ranging fromepidemiology to biology, from econometrics to physics, makeuse of probability ...
    55,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Bridges from Classical to Nonmonotonic Logic
    Bridges from Classical to Nonmonotonic Logic
    David Makinson
    College Publications
    Taschenbuch
    Bezug 6-10
    Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors receive streams of information from which it tries to reach judgements. If it relies on deduction a...
    34,87 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. The Lambda Calculus. Its Syntax and Semantics
    The Lambda Calculus. Its Syntax and Semantics
    Henk Barendregt
    College Publications
    Taschenbuch
    Bezug 6-10
    The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the p...
    47,52 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Learn PROLOG Now!
    Learn PROLOG Now!
    P. Blackburn
    College Publications
    Taschenbuch
    Bezug 6-10
    Prolog is a programming language, but a rather unusual one. ``Prolog'' is shortfor ``Programming with Logic'', and the link with logic gives Prolog itsspecial character.At the heart of Prolog li...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Intuitionistic Set Theory
    Intuitionistic Set Theory
    John L. Bell
    College Publications
    Taschenbuch
    Bezug 6-10
    While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject h...
    29,48 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
    9. ... >>>
<%--for search--%>