5,074円 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 a...

10,746円 This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila–Wilkie theorem, bounds on Galois orbits, a...

7,031円 This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction in the philosophy of mathematics, José Ferreirós uses the crucial idea of a continuum to provide a...

28,787円 The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, ...

2,108円 'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into believing the impossible. Alongside mathematical revolutions that eventually led to the invention of the computer, the bo...

264円 Si on se rappelle à quel point l’œuvre de Poincaré est comme adéquate à toute la science mathématique, pure ou appliquée, que notre époque a produite, et la pénètre dans toutes ses manifestations, on aura compris par avance que la par...

9,154円 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 ...

20,032円 Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathe...

5,357円 'The book is well written, and there is a welcome breadth in the choice of topics. I think this book is a valuable resource. Students who meticulously work through all the problems in the book in an intelligent way, will surely gain considerable insight into the subject; teachers who don’t tell...

2,677円 'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.' The Mathematical Gazette This 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 Log...

2,122円 Null Set collects the slightly obsessive possibilities that rise when we give them the spaceーodd jobs, trouble-making, and farm boy rambling, all in dialogue with mathematics, or William Faulkner, or other poets. From "Hypotenuse": HYPOTENUSE I write three, erase it, blow rubber shavings from th...

12,122円 The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between the fields of Set T...