Mathematical foundations books

This book is specifically designed to support teachers to teach about Number with understanding, so that children...  Read More >>

This book has been deemed as a classic and has stood the test of time. The book has been considered by academicians...  Read More >>

 Read More >>

NOTE: This edition features the same content as the traditional text in a convenient, three-hole-punched, loose-leaf...  Read More >>

This comprehensive account of the theory of constructible sets at an advanced level provides complete coverage of...  Read More >>

NOTE: This edition features the same content as the traditional text in a convenient, three-hole-punched, loose-leaf...  Read More >>

This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter...  Read More >>

The Number Concept: Its Origin and Development Levi L. Conant  Read More >>

This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s...  Read More >>

Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische...  Read More >>

This volume presents recent advances in the field of matrix analysis based on contributions at the MAT-TRIAD 2015...  Read More >>

An introduction to recursion theory that will prepare the reader for the study of advanced monographs and the current...  Read More >>

 Read More >>

The proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's...  Read More >>

The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories...  Read More >>

Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory using the...  Read More >>

The theory set out in this volume is the result of the meeting and common development of two currents of mathematical...  Read More >>

This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided...  Read More >>

Admissible set theory is a major source of interaction between model theory, recursion theory and set theory. This...  Read More >>

In this volume the authors bring together several directions of work in model theory between the late 1950s and...  Read More >>

This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems...  Read More >>

This is the first graduate-level treatment of computable analysis within the tradition of classical mathematical...  Read More >>

Large cardinal hypotheses play a central role in modern set theory. This volume develops a method for constructing...  Read More >>

This volume presents the proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic,...  Read More >>

This volume presents the conference proceedings of the 1995 Annual European Summer Meeting of the Association of...  Read More >>