Denna webbshop är stängd för köp.
Klicka här för mer information

Sökresultat - Studies in Logic and the Foundations of Mathematics

Sök »
Din sökning gav 19 träffar. Klicka på titeln för mer information eller lägg den i din kundvagn direkt. Om Du inte hittar titeln vid sökning se Söktips

Fördjupa min sökning

  • Rudiments of Calculus

    Rudiments of Calculus

    Inbunden - 2001 - Engelska - ISBN: 9780444506207

    This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. There…

  • Classical Recursion Theory

    Classical Recursion Theory
    av P. Odifreddi

    Häftad - 1992 - Engelska - ISBN: 9780444894830

    1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the…

  • Many-Dimensional Modal Logics: Theory and Applications

    Many-Dimensional Modal Logics: Theory and Applications
    av A. Kurucz

    Inbunden - 2003 - Engelska - ISBN: 9780444508263

    Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviou…

  • Computable Structures and the Hyperarithmetical Hierarchy

    Computable Structures and the Hyperarithmetical Hierarchy
    av C.J. Ash

    Inbunden - 2000 - Engelska - ISBN: 9780444500724

    This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, f…

  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    Residuated Lattices: An Algebraic Glimpse at Substructural Logics
    av Nikolaos Galatos

    Inbunden - 2007 - Engelska - ISBN: 9780444521415

    The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to pr…

  • Constructivism in Mathematics, Vol 2

    Constructivism in Mathematics, Vol 2
    av A.S. Troelstra

    Inbunden - 1988 - Engelska - ISBN: 9780444703583

    Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The public…

  • Handbook of Proof Theory

    Handbook of Proof Theory

    Inbunden - 1998 - Engelska - ISBN: 9780444898401

    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, i…

  • Language in Action

    Language in Action
    av J. van Benthem

    Inbunden - 1991 - Engelska - ISBN: 9780444890009

    This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presen…

  • Theory of Relations

    Theory of Relations
    av R. Fraisse

    Inbunden - 2000 - Engelska - ISBN: 9780444505422

    Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders. One of its first important problems was partially solved by…

  • Truth and Consequence in Medieval Logic.

    Truth and Consequence in Medieval Logic.
    av Ernest Addison Moody

    Inbunden - 1976 - Engelska - ISBN: 9780837190532

  • Admissibility of Logical Inference Rules

    Admissibility of Logical Inference Rules
    av V.V. Rybakov

    Inbunden - 1997 - Engelska - ISBN: 9780444895059

    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:* admissible or permissible inference rules* the derivability of the admissible inference…

  • Constructivism in Mathematics, Vol 1

    Constructivism in Mathematics, Vol 1
    av A.S. Troelstra

    Inbunden - 1988 - Engelska - ISBN: 9780444702661

    These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism…

  • Lectures on the Curry-Howard Isomorphism

    Lectures on the Curry-Howard Isomorphism
    av Morten Heine Sorensen

    Inbunden - 2006 - Engelska - ISBN: 9780444520777

    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lamb…

  • Relation Algebras by Games

    Relation Algebras by Games
    av Robin Hirsch

    Inbunden - 2002 - Engelska - ISBN: 9780444509321

    Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to stud…

  • Relation Algebras

    Relation Algebras
    av Roger Duncan Maddux

    Inbunden - 2006 - Engelska - ISBN: 9780444520135

    The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science--…

  • Classical Recursion Theory, Volume II

    Classical Recursion Theory, Volume II
    av P. Odifreddi

    Inbunden - 1999 - Engelska - ISBN: 9780444502056

    Volume II of Classical Recursion Theory describes the universe from a local (bottom-upor synthetical) point of view, and covers the whole spectrum, from therecursive to the arithmetical sets. The first half of the book provides a detailed picture of…

  • Realizability

    Realizability
    av Jaap Van Oosten

    Inbunden - 2008 - Engelska - ISBN: 9780444515841

    Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as…

  • Logical Frameworks for Truth and Abstraction

    Logical Frameworks for Truth and Abstraction
    av A. Cantini

    Inbunden - 1996 - Engelska - ISBN: 9780444823069

    This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical…

  • Tools and Techniques in Modal Logic

    Tools and Techniques in Modal Logic
    av M. Kracht

    Inbunden - 1999 - Engelska - ISBN: 9780444500557

    This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal…