Skip to main content

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...
  • Infinity And Truth

    Series Libro 25 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
    This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the ... Leer más

    $25.99 USD

  • E-recursion, Forcing And C*-algebras

    Series Libro 27 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
    This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of ... Leer más

    $20.99 USD

  • Notes On Forcing Axioms

    Series Libro 26 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
    In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via ... Leer más

    $26.99 USD

  • Forcing, Iterated Ultrapowers, And Turing Degrees

    Series Libro 29 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
    This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research ... Leer más

    $32.99 USD

  • Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

    Series Libro 28 - Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore
    This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof ... Leer más

    $17.99 USD

La gente que leyó estos también disfrutó

  • Beginner's Further Guide To Mathematical Logic, A

    'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on ... Leer más

    $18.99 USD

  • Basic Category Theory

    de Tom Leinster ...
    Series Libro 143 - Cambridge Studies in Advanced Mathematics
    At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in ... Leer más

    $63.99 USD

  • Appalachian Set Theory

    2006–2012

    Series Libro 406 - London Mathematical Society Lecture Note Series
    This volume takes its name from a popular series of intensive mathematics workshops hosted at institutions in Appalachia and surrounding areas. At these meetings, internationally prominent set theorists give one-day lectures that focus on important new directions, methods, tools and results so that non-experts can begin to master these and incorporate them into their own research. Each chapter in ... Leer más

    $74.99 USD

  • Set Theory

    A First Course

    Series series Cambridge Mathematical Textbooks
    Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets, ... Leer más

    $59.99 USD

  • Logical Frameworks for Truth and Abstraction

    An Axiomatic Study

    de A. Cantini ...
    Series Libro 135 - Studies in Logic and the Foundations of Mathematics
    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 paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are ... Leer más

    $161.99 USD

  • Synthetic Differential Topology

    Series Libro 448 - London Mathematical Society Lecture Note Series
    This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic use of logical infinitesimal objects in it. Beginning with an introduction to those parts of ... Leer más

    $76.99 USD

  • Intermediate Logic

    de David Bostock ...
    Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding ... Leer más

    $58.99 USD