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


Showing 1 - 12 of 12 results for “wilfried sieg”
Skip side bar filters

  • Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

    Lecture Notes in Logic 15

    Edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott ...
    Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his ... Read more

    $109.99 CAD

  • Feferman on Foundations

    Logic, Mathematics, Philosophy

    Edited by Gerhard Jäger, Wilfried Sieg ...
    Series series Mathematics and Statistics (R0)
    This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic (namely model ... Read more

    $256.99 CAD

People who read these also enjoyed

  • 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

  • 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

    $97.99 CAD

  • 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

    $11.99 CAD

  • An Introduction to Substructural Logics

    by Greg Restall ...
    This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a ... Read more

    $83.99 CAD

  • 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

    $64.99 CAD

  • Handbook of Philosophical Logic

    Edited by Dov M. Gabbay, Franz Guenthner ...
    Series series Philosophy and Religion (R0)
    It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as ... Read more

    $179.99 CAD

  • Handbook of Computability Theory

    Edited by E.R. Griffor ...
    Series Book 140 - Studies in Logic and the Foundations of Mathematics
    The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of ... Read more

    $176.79 CAD

  • Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts

    Edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya ...
    Series series Philosophy and Religion (R0)
    This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections ... Read more

    $179.99 CAD

  • Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

    by Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg ...
    This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the ... Read more

    $87.99 CAD

  • 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

    $141.99 CAD