Skip to main content
Search Button
Canada 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...


Lecture Notes in Logic eBook Series

Showing 1 - 12 of 12 results
Skip side bar filters

  • Logic and Algebraic Structures in Quantum Computing

    Edited by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov ...
    Series Book 45 - Lecture Notes in Logic
    Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods ... Read more

    $164.99 CAD

People who read this also enjoyed

  • Logic

    A Very Short Introduction

    by Graham Priest ...
    Series series Very Short Introductions
    Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability ... Read more

    $7.99 CAD

  • Modal Logic for Philosophers

    by James W. Garson ...
    This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal ... Read more

    $51.99 CAD

  • Burden of Proof, Presumption and Argumentation

    by Douglas Walton ...
    The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures over the years for allocating and reasoning with presumptions and burdens of proof, and from how artificial intelligence has built precise formal and computational systems to represent this kind of ... Read more

    $31.99 CAD

  • Hilbert’s Program

    An Essay on Mathematical Instrumentalism

    by M. Detlefsen ...
    Series series Philosophy and Religion (R0)
    Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, ... Read more

    $115.99 CAD

  • From Linear Operators to Computational Biology

    Essays in Memory of Jacob T. Schwartz

    Edited by Martin Davis, Edmond Schonberg ...
    Series series Computer Science (R0)
    In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz ... Read more

    $115.99 CAD

  • 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

    $115.99 CAD

  • Formal Methods for Multicore Programming

    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

    Edited by Marco Bernardo, Einar Broch Johnsen ...
    Series series Computer Science (R0)
    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and ... Read more

    $60.99 CAD

  • Digital Doodles and Mind-Farts

    --Coffee Talk--

    by Prince Tippy ...
    This book is a compilation of the author’s many observations, and all the crazy ideas that he has had in his lifetime, that he has been posting on his blog digitaldoodlesandmind-farts.blogspot.com. ... Read more

    $5.99 CAD

  • Structured Object-Oriented Formal Language and Method

    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

    Edited by Zhenhua Duan, Shaoying Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... Read more

    $64.99 CAD

  • Conceptual Modeling

    36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

    Edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Read more

    $64.99 CAD

  • Integrated Formal Methods

    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

    Edited by Erika Ábrahám, Marieke Huisman ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... Read more

    $102.99 CAD