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...


Showing 1 - 12 of 12 results for “valentin goranko”
Skip side bar filters

  • Logic, Rationality, and Interaction

    10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi’an, China, October 16–19, 2025, Proceedings

    Edited by Valentin Goranko, Chenwei Shi, Wei Wang ...
    Series series Springer Nature Proceedings Computer Science
    This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 10th International Conference on Logic, Rationality, and Interaction, LORI 2025, held in Xi’an, China, in October 2025.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions.The topics addressed in this program effectively showcase the breadth and depth characteristic ... Read more

    $67.99 USD

  • Temporal Logics

    by Valentin Goranko ...
    Series series Elements in Philosophy and Logic
    Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted ... Read more

    $20.49 USD

  • Logic and Discrete Mathematics

    A Concise Introduction

    by Willem Conradie, Valentin Goranko ...
    A concise yet rigorous introduction to logic and discrete mathematics.This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.The chapters on logic - propositional and first-order - ... Read more

    $53.00 USD

  • Logic and Discrete Mathematics

    A Concise Introduction, Solutions Manual

    by Willem Conradie, Valentin Goranko, Claudette Robinson ...
    Solutions manual to accompany [Logic and Discrete Mathematics: A Concise Introduction]Logic and Discrete Mathematics_ A Concise Introduction_This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taugh... ... Read more

    $19.00 USD

  • Temporal Logics in Computer Science

    Finite-State Systems

    by Stéphane Demri, Valentin Goranko, Martin Lange ...
    Series Book 58 - Cambridge Tracts in Theoretical Computer Science
    This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and ... Read more

    $127.09 USD

People who read these also enjoyed

  • 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.99 USD

  • An Introduction to Non-Classical Logic

    From If to Is

    by Graham Priest ...
    Series series Cambridge Introductions to Philosophy
    This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. ... Read more

    $43.49 USD

  • Foundations of Language

    Brain, Meaning, Grammar, Evolution

    by Ray Jackendoff ...
    How does human language work? How do we put ideas into words that others can understand? Can linguistics shed light on the way the brain operates? Foundations of Language puts linguistics back at the centre of the search to understand human consciousness. Ray Jackendoff begins by surveying the developments in linguistics over the years since Noam Chomsky's Aspects of the Theory of Syntax. He goes ... Read more

    $35.99 USD

  • Introduction to Set Theory, Revised and Expanded

    by Karel Hrbacek, Thomas Jech ...
    Series series Chapman & Hall/CRC Pure and Applied Mathematics
    Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers. It also provides five additional self-contained chapters, consolidates the material on real numbers into a single updated ... Read more

    $140.00 USD

  • The Evolution of Logic

    by W. D. Hart ...
    Series series The Evolution of Modern Philosophy
    Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent ... Read more

    $33.69 USD

  • The Cambridge Handbook of Generative Syntax

    Edited by Marcel den Dikken ...
    Series series Cambridge Handbooks in Language and Linguistics
    Syntax – the study of sentence structure – has been at the centre of generative linguistics from its inception and has developed rapidly and in various directions. The Cambridge Handbook of Generative Syntax provides a historical context for what is happening in the field of generative syntax today, a survey of the various generative approaches to syntactic structure available in the literature ... Read more

    $60.69 USD

  • Fundamentals of Bayesian Epistemology 1

    Introducing Credences

    by Michael G. Titelbaum ...
    Bayesian ideas have recently been applied across such diverse fields as philosophy, statistics, economics, psychology, artificial intelligence, and legal theory. Fundamentals of Bayesian Epistemology examines epistemologists' use of Bayesian probability mathematics to represent degrees of belief. Michael G. Titelbaum provides an accessible introduction to the key concepts and principles of the ... Read more

    $23.79 USD