Skip to main content

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...
  • One Hundred Prisoners and a Light Bulb

    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 ... Leer más

    $18.99 USD

La gente que leyó esto también disfrutó

  • Introducing Plato

    A Graphic Guide

    de Dave Robinson ...
    Series Libro 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 ... Leer más

    $5.99 USD o gratis con Kobo Plus

  • Set Theory

    With an Introduction to Real Point Sets

    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 ... Leer más

    $80.99 USD

  • Visual Reasoning with Diagrams

    Edición de 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 ... Leer más

    $89.99 USD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    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 ... Leer más

    $116.99 USD

  • Hybrid Logic and its Proof-Theory

    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 ... Leer más

    $89.99 USD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    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 ... Leer más

    $89.99 USD

  • Logic and Philosophy of Mathematics in the Early Husserl

    Series series Philosophy and Religion (R0)
    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 ... Leer más

    $89.99 USD

  • Proof, Computation and Agency

    Logic at the Crossroads

    Series Libro 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 ... Leer más

    $143.99 USD

  • Truth and Falsehood

    An Inquiry into Generalized Logical Values

    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 ... Leer más

    $89.99 USD

  • The Argument of Mathematics

    Edición de 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 ... Leer más

    $89.99 USD

  • Dependence Logic

    Theory and Applications

    Series series Mathematics and Statistics (R0)
    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 ... Leer más

    $49.99 USD