Logic

Go to Listing by Author

The Birth of Model Theory:
Löwenheim's Theorem in the Frame of the Theory of Relatives.
C. Badesa.

The Calculi of Lambda Conversion. (AM-6).
A. Church.

A Certain Ambiguity:
A Mathematical Novel.
G. Suri and H.S. Bal.

Classical and Nonclassical Logics:
An Introduction to the Mathematics of Propositions.
E. Schechter.

Classical Mathematical Logic:
The Semantic Foundations of Logic.
R.L. Epstein.

Computers, Rigidity, and Moduli:
The Large-Scale Fractal Geometry of Riemannian Moduli Space.
S. Weinberger.

Consistency of the Continuum Hypothesis. (AM-3).
K. Gödel.

Degrees of Unsolvability. (AM-55).
G.E. Sacks.

Finite Structures with Few Types. (AM-152).
G. Cherlin and E. Hrushovski.

How Mathematicians Think:
Using Ambiguity, Contradiction, and Paradox to Create Mathematics.
W. Byers.

The Importance of Being Fuzzy:
And Other Insights from the Border between Math and Computers.
A. Sangalli.

Introduction to Mathematical Logic (PMS-13).
A. Church.

On Group-Theoretic Decision Problems and Their Classification. (AM-68).
C.F. Miller, III.

Theory of Formal Systems. (AM-47).
R.M. Smullyan.

The Two-Valued Iterative Systems of Mathematical Logic. (AM-5).
E.L. Post.

Return to Mathematics Home Page

File created: 6/5/2009

Questions and comments to: webmaster@press.princeton.edu
Princeton University Press