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 “sergei odintsov”
Skip side bar filters

  • Larisa Maksimova on Implication, Interpolation, and Definability

    Edited by Sergei Odintsov ...
    Series series Philosophy and Religion (R0)
    This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific ... Read more

    $49.49 USD

People who read this also enjoyed

  • The Minimum You Need to Know About Logic to Work in IT

    by Roland Hughes ...
    Series series The Minimum You Need to Know
    Learn the skills which are completely non-existent in today's college courses. Logic simply isn't taught anymore, Pascal is taught in what was the logic class - if they have any class at all devoted to it. The result of such a curriculum is that new college grads are simply unemployable in today's market. This book is designed to correct that problem.What You'll Learn from the Book The ... Read more

    $1.99 USD

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edited by Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $49.49 USD

  • Russell's Philosophy of Logical Analysis, 1897-1905

    by J. Galaugher ...
    Series series Philosophy and Religion (R0)
    This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics ... Read more

    $49.49 USD

  • Logicism and its Philosophical Legacy

    by William Demopoulos ...
    The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for ... Read more

    $38.59 USD

  • Johan van Benthem on Logic and Information Dynamics

    Edited by Alexandru Baltag, Sonja Smets ...
    Series Book 5 - Outstanding Contributions to Logic
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire ... Read more

    $188.09 USD

  • Dag Prawitz on Proofs and Meaning

    Edited by Heinrich Wansing ...
    Series series Philosophy and Religion (R0)
    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main ... Read more

    $89.09 USD

  • Godel's Incompleteness Theorems

    by Raymond M. Smullyan ...
    Series series Oxford Logic Guides
    Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this ... Read more

    $291.59 USD

  • Towards Paraconsistent Engineering

    Edited by Seiki Akama ...
    Series series Engineering (R0)
    This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in ... Read more

    $89.09 USD

  • Computational Complexity of Solving Equation Systems

    by Przemysław Broniek ...
    Series series Computer Science (R0)
    This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, ... Read more

    $49.49 USD

  • Natural Deduction, Hybrid Systems and Modal Logics

    by Andrzej Indrzejczak ...
    Series series Mathematics and Statistics (R0)
    A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly needs some explanation. In short, this study may be seen as a kind of search for good deductive ... Read more

    $215.09 USD

  • Meaning and Proscription in Formal Logic

    Variations on the Propositional Logic of William T. Parry

    by Thomas Macaulay Ferguson ...
    Series series Mathematics and Statistics (R0)
    This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling ... Read more

    $49.49 USD