college publications

Grid   List

  1. Logics of Proofs and Justifications
    Logics of Proofs and Justifications
    Roman Kuznets
    College Publications
    Taschenbuch
    Sofort lieferbar
    Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in th...
    32,14 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. 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 11-15
    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,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. The Lambda Calculus. Its Syntax and Semantics
    The Lambda Calculus. Its Syntax and Semantics
    Henk Barendregt
    College Publications
    Taschenbuch
    Bezug 11-15
    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...
    46,38 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Learn PROLOG Now!
    Learn PROLOG Now!
    P. Blackburn
    College Publications
    Taschenbuch
    Bezug 11-15
    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...
    40,27 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Intuitionistic Set Theory
    Intuitionistic Set Theory
    John L. Bell
    College Publications
    Taschenbuch
    Bezug 11-15
    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...
    28,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. On the use and misuse of theories and models in mainstream economics
    On the use and misuse of theories and models in mainstream economics
    Lars Palsson Syll
    College Publications
    Taschenbuch
    Bezug 11-15
    This collection of previously published and new papers is a major intervention in the on-going debate about the nature and future of economics. Instead of the present deductivist-formalist orientat...
    35,85 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Automated Reasoning in Higher-Order Logic
    Automated Reasoning in Higher-Order Logic
    C. E. Brown
    College Publications
    Taschenbuch
    Bezug 11-15
    Many mathematical and computational concepts can be represented in a natural way using higher-order logic.Consequently, higher-order logic has become an important topic of research.Automated Re...
    54,94 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Introduction to Propositional Satisfiability
    Introduction to Propositional Satisfiability
    Victor Marek
    College Publications
    Taschenbuch
    Bezug 11-15
    Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that thedomains of variables are finite.As such,...
    36,95 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Set Theory
    Set Theory
    Kenneth Kunen
    College Publications
    Taschenbuch
    Bezug 11-15
    This book is designed for readers who knowelementary mathematical logic and axiomatic settheory, and who want to learn more about set theory.The primary focus of the book is on the independenceproo...
    40,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Logic for Artificial Intelligence and Information Technology
    Logic for Artificial Intelligence and Information Technology
    D. M. Gabbay
    College Publications
    Taschenbuch
    Bezug 11-15
    Logic for Artificial Intelligence and Information Technology is based on student notesused to teach logic to second year undergraduates and Artificial Intelligence to graduate students at the Uni...
    51,62 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. The Foundations of Mathematics
    The Foundations of Mathematics
    Kenneth Kunen
    College Publications
    Taschenbuch
    Bezug 11-15
    Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics i...
    40,35 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. La Logica Como Herramienta de La Razon
    La Logica Como Herramienta de La Razon
    Atocha Aliseda
    College Publications
    Taschenbuch
    Bezug 11-15
    Este libro ofrece una visión integral sobre el papel del razonamiento ampliativo en la creatividad, la cognición y la inferencia echando mano de un análisis a profundidad de la cognición abductiva,...
    28,21 €
    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--%>