Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


« george s boolos »

1-12 sur 12 résultats pour « george s boolos »
Skip side bar filters

  • Computability and Logic

    par George S. Boolos, John P. Burgess, Richard C. Jeffrey ...
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised ... En savoir plus

    $40.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • How Not to Be Wrong

    The Power of Mathematical Thinking

    par Jordan Ellenberg ...
    **“Witty, compelling, and just plain fun to read . . ." —Evelyn Lamb, Scientific AmericanThe Freakonomics of math—a math-world superstar unveils the hidden beauty and logic of the world and puts its power in our hands**The math we learn in school can seem like a dull set of rules, laid down by the ancients and not to be questioned. In How Not to Be Wrong, Jordan Ellenberg shows us how terribly ... En savoir plus

    $12.99 CAD

    Aussi disponible en : Livre audio

    Aussi disponible en : Livre audio

  • Approaching Infinity

    par M. Huemer ...
    Collections series Philosophy and Religion (R0)
    Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. The book addresses these paradoxes using a new theory of infinity, which entails that an infinite series is uncompletable when it requires something to possess an infinite intensive magnitude. Along the way, the author addresses the nature of numbers, sets, geometric points, and ... En savoir plus

    $140.89 CAD

  • Philosophy of Mathematics in the Twentieth Century

    Selected Essays

    par Charles Parsons ...
    In this illuminating collection, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the course of the past century.Parsons begins with a discussion of the Kantian legacy in the work of L. E. J. Brouwer, David Hilbert, and Paul Bernays, shedding light on how Bernays revised his philosophy after his collaboration with Hilbert. ... En savoir plus

    $75.89 CAD

  • Set Theory

    With an Introduction to Real Point Sets

    par Abhijit Dasgupta ...
    Collections series Mathematics and Statistics (R0)
    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 ... En savoir plus

    $102.49 CAD

  • Visual Reasoning with Diagrams

    Modifié par Amirouche Moktefi, Sun-Joo Shin ...
    Collections 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 ... En savoir plus

    $115.99 CAD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Modifié par Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • Bolzano's Logical System

    par Ettore Casari ...
    This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature ... En savoir plus

    $109.59 CAD

  • Logic and the Limits of Philosophy in Kant and Hegel

    par C. Bohnet ...
    Collections series Philosophy and Religion (R0)
    This text examines the boundary between logic and philosophy in Kant and Hegel. Through a detailed analysis of 'quantity', it highlights the different ways Kant and Hegel handle this boundary. Kant is consistent in maintaining this boundary, but Hegel erases it and in the process transforms both logic and philosophy. ... En savoir plus

    $64.09 CAD

  • Truth and Falsehood

    An Inquiry into Generalized Logical Values

    par Yaroslav Shramko, Heinrich Wansing ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • Dependence Logic

    Theory and Applications

    Modifié par Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • Rohit Parikh on Logic, Language and Society

    Modifié par Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam ...
    Collections series Philosophy and Religion (R0)
    This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research.This volume is part of Springer’s book series ... En savoir plus

    $128.99 CAD