(Hardback)

In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. It begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics.

(Hardback)

Relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. This book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings.

(Paperback)

What did it mean to be reasonable in the Age of Reason This title demonstrates how this view profoundly shaped the internal development of probability theory and defined its applications.

(Paperback)

The theory of games, first given a rigorous formulation by von Neumann in 1928, is a subfield of mathematics and economics that models situations in which individuals compete and cooperate with each other. This book assembles the fundamental contributions in this field. It is useful for researchers in game theory and for students.

(Paperback)

In the earlier monograph Pseudo-reductive Groups, Brian Conrad, Ofer Gabber, and Gopal Prasad explored the general structure of pseudo-reductive groups. In this new book, Classification of Pseudo-reductive Groups, Conrad and Prasad go further to study the classification over an arbitrary field. An isomorphism theorem proved here determines the auto

(Paperback)

(Paperback)

In 1970, Phillip Griffiths envisioned that points at infinity could be added to the classifying space D of polarized Hodge structures. This book realizes this by creating a logarithmic Hodge theory. It uses the logarithmic structures begun by Fontaine-Illusie to revive nilpotent orbits as a logarithmic Hodge structure.

(Hardback)

Offers a systematic treatment of the development and use of cohomological induction to construct unitary representations. This book develops the necessary background in representation theory and includes an introductory chapter of motivation, a treatment of the "translation principle" ', and four appendices on algebra and analysis.

(Paperback)

(Paperback)

Written and revised by D. B. A. Epstein.

(Paperback)

(Paperback)

Measured geodesic laminations are a natural generalization of simple closed curves in surfaces, and they play a decisive role in various developments in two-and three-dimensional topology, geometry, and dynamical systems. This book presents a treatment of the combinatorial structure of the space of measured geodesic laminations in a fixed surface.

(Paperback)

Deals with the characterization of hypergeometric-like functions, that is, twists of hypergeometric functions in n-variables. This book compares monodromy groups corresponding to different parameters and proves commensurability modulo inner automorphisms of PU(1,n).

(Paperback)

(Paperback)

Addressing researchers and graduate students in the meeting ground of analysis, geometry, and dynamics, this book presents a study of renormalization of quadratic polynomials and an introduction to techniques in complex dynamics. Its central concern is the structure of an infinitely renormalizable quadratic polynomial f(z) = z2 + c.

(Paperback)

The description for this book, Compositional Methods in Homotopy Groups of Spheres. (AM-49), will be forthcoming.

(Paperback)

Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. This title gives an algorithm for computing coefficients of modular forms of level one in polynomial time.

(Paperback)

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

(Hardback)

(Hardback)

Presents an area of mathematical research that combines topology, geometry, and logic. This book seeks to explain and illustrate the implications of the general principle, first emphasized by Alex Nabutovsky, that logical complexity engenders geometric complexity.

(Paperback)

The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems. In this book, Kurt Godel sets forth his proof for this problem.

(Paperback)

Based on von Neumann's lecture notes, this book begins with the development of the axioms of continuous geometry, dimension theory, and - for the irreducible case - the function D(a). The properties of regular rings are then discussed, and a variety of results are presented for lattices that are continuous geometries.

(Paperback)

This is a study of the theory of models with truth values in a compact Hausdorff topological space.

(Paperback)

The description for this book, Contributions to the Theory of Games (AM-24), Volume I, will be forthcoming.