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 “a cantini”
Skip side bar filters

  • Logical Frameworks for Truth and Abstraction

    An Axiomatic Study

    by A. Cantini ...
    Series Book 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 ... Read more

    $161.99 USD

People who read this also enjoyed

  • Basic Category Theory

    by Tom Leinster ...
    Series Book 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 ... Read more

    $63.99 USD

  • An Introduction to Critical Thinking and Creativity

    Think More, Think Better

    by Joe Y. F. Lau ...
    A valuable guide on creativity and critical thinking to improve reasoning and decision-making skillsCritical thinking skills are essential in virtually any field of study or practice where individuals need to communicate ideas, make decisions, and analyze and solve problems. An Introduction to Critical Thinking and Creativity: Think More, Think Better outlines the necessary tools for readers to ... Read more

    $70.00 USD

  • Beginner's Further Guide To Mathematical Logic, A

    by Raymond M Smullyan ...
    '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 ... Read more

    $18.09 USD

  • Set Theory

    A First Course

    by Daniel W. Cunningham ...
    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, ... Read more

    $59.09 USD

  • The Birth of Model Theory

    Löwenheim's Theorem in the Frame of the Theory of Relatives

    by Calixto Badesa ...
    Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant theorems are well understood, this is not the case with Löwenheim's theorem. For example, the very result ... Read more

    $82.79 USD

  • Synthetic Differential Topology

    by Marta Bunge, Felipe Gago, Ana María San Luis ...
    Series Book 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 ... Read more

    $76.29 USD

  • Infinity And Truth

    by Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin ...
    Series Book 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 ... Read more

    $25.69 USD

  • Intermediate Logic

    by 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 ... Read more

    $58.49 USD

  • Appalachian Set Theory

    2006–2012

    Edited by James Cummings, Ernest Schimmerling ...
    Series Book 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 ... Read more

    $74.69 USD

  • Forcing For Mathematicians

    by Nik Weaver ...
    Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to ... Read more

    $24.99 USD

  • Forcing, Iterated Ultrapowers, And Turing Degrees

    by Chitat Chong, W Hugh Woodin, Theodore A Slaman, Yue Yang, Qi Feng ...
    Series Book 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 ... Read more

    $32.39 USD