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 “peter m schuster”
Skip side bar filters

  • Mathesis Universalis, Computability and Proof

    Edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster ...
    Series series Philosophy and Religion (R0)
    In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […]shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a ... Read more

    $107.09 USD

  • Well-Quasi Orders in Computation, Logic, Language and Reasoning

    A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

    Edited by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann ...
    Series series Mathematics and Statistics (R0)
    This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and ... Read more

    $179.09 USD

People who read these also enjoyed

  • On the Existence of Digital Objects

    by Yuk Hui ...
    Series series Electronic Mediations
    Digital objects, in their simplest form, are data. They are also a new kind of industrial object that pervades every aspect of our life today—as online videos, images, text files, e-mails, blog posts, Facebook events.Yet, despite their ubiquity, the nature of digital objects remains unclear.On the Existence of Digital Objects conducts a philosophical examination of digital objects and their ... Read more

    $15.99 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

  • Interpreting Gödel

    Critical Essays

    Edited by Juliette Kennedy ...
    The logician Kurt Gödel (1906–1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results ... Read more

    $30.39 USD

  • Foundations of Set Theory

    by A.A. Fraenkel, Y. Bar-Hillel, A. Levy ...
    Series Book 67 - Studies in Logic and the Foundations of Mathematics
    Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in ... Read more

    $65.69 USD

  • Advances in Proof-Theoretic Semantics

    Edited by Thomas Piecha, Peter Schroeder-Heister ...
    Series series Mathematics and Statistics (R0)
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... Read more

    Free

  • On the Logic and Learning of Language

    by Sean A. Fulop ...
    This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. ... Read more

    $8.99 USD

  • Generative Grammar

    Theory and its History

    by Robert Freidin ...
    Series series Routledge Leading Linguists
    Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation ... Read more

    $65.99 USD

  • Philosophy of Mathematics

    by Dov M. Gabbay, Paul Thagard, John Woods, Andrew Irvine ...
    Series series Handbook of the Philosophy of Science
    One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do ... Read more

    $188.99 USD

  • Handbook of Logic and Language

    Edited by Johan F.A.K. van Benthem, Alice ter Meulen ...
    The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts ... Read more

    $193.49 USD

  • The Theory of Logical Types (Routledge Revivals)

    by Irving Copi ...
    Series series Routledge Revivals
    This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a ... Read more

    $57.99 USD