Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Top Series in United States

Showing 1 - 12 of 12 results for “barteld kooi”
Skip side bar filters

  • One Hundred Prisoners and a Light Bulb

    by Hans van Ditmarsch, Barteld Kooi ...
    Series series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Read more

    $18.99 USD

People who read this also enjoyed

  • Introducing Plato

    A Graphic Guide

    by Dave Robinson ...
    Series Book 0 - Graphic Guides
    "Introducing Plato" begins by explaining how philosophers like Socrates and Pythagoras influenced Plato's thought. It provides a clear account of Plato's puzzling theory of knowledge, and explains how this theory then directed his provocative views on politics, ethics and individual liberty. It offers detailed critical commentaries on all of the key doctrines of Platonism, especially the very odd ... Read more

    $5.69 USD or Free with Kobo Plus

  • Set Theory

    With an Introduction to Real Point Sets

    by Abhijit Dasgupta ...
    What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

    $80.99 USD

  • Visual Reasoning with Diagrams

    Edited by Amirouche Moktefi, Sun-Joo Shin ...
    Series series Mathematics and Statistics (R0)
    Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early ... Read more

    $89.99 USD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    by Zoran Ognjanović, Miodrag Rašković, Zoran Marković ...
    Series series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... Read more

    $116.09 USD

  • Hybrid Logic and its Proof-Theory

    by Torben Braüner ...
    Series series Mathematics and Statistics (R0)
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a ... Read more

    $89.99 USD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Series series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

    $89.09 USD

  • Logic and Philosophy of Mathematics in the Early Husserl

    by Stefania Centrone ...
    Series Book 345 - Synthese Library
    Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from ... Read more

    $89.09 USD

  • Proof, Computation and Agency

    Logic at the Crossroads

    Edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh ...
    Series Book 352 - Synthese Library
    Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social ... Read more

    $143.99 USD

  • Truth and Falsehood

    An Inquiry into Generalized Logical Values

    by Yaroslav Shramko, Heinrich Wansing ...
    Series series Mathematics and Statistics (R0)
    The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a ... Read more

    $89.09 USD

  • The Argument of Mathematics

    Edited by Andrew Aberdein, Ian J Dove ...
    Series series Philosophy and Religion (R0)
    Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of ... Read more

    $89.09 USD

  • Dependence Logic

    Theory and Applications

    Edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer ...
    In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write ... Read more

    $49.99 USD