Theory of Formal Systems

Theory of Formal Systems
Author: Raymond M. Smullyan
Publisher: Princeton University Press
Total Pages: 160
Release: 1961
Genre: Mathematics
ISBN: 9780691080475

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Higher Topos Theory

Higher Topos Theory
Author: Jacob Lurie
Publisher: Princeton University Press
Total Pages: 944
Release: 2009-07-26
Genre: Mathematics
ISBN: 0691140480

In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

Advances in Game Theory. (AM-52), Volume 52

Advances in Game Theory. (AM-52), Volume 52
Author: Melvin Dresher
Publisher: Princeton University Press
Total Pages: 691
Release: 2016-03-02
Genre: Mathematics
ISBN: 140088201X

The description for this book, Advances in Game Theory. (AM-52), Volume 52, will be forthcoming.

Transcendental Numbers. (AM-16)

Transcendental Numbers. (AM-16)
Author: Carl Ludwig Siegel
Publisher: Princeton University Press
Total Pages: 102
Release: 2016-03-02
Genre: Mathematics
ISBN: 1400882354

The description for this book, Transcendental Numbers. (AM-16), will be forthcoming.

Automata Studies. (AM-34), Volume 34

Automata Studies. (AM-34), Volume 34
Author: C. E. Shannon
Publisher: Princeton University Press
Total Pages: 285
Release: 2016-03-02
Genre: Computers
ISBN: 1400882613

The description for this book, Automata Studies. (AM-34), Volume 34, will be forthcoming.

Functional Integration and Partial Differential Equations. (AM-109), Volume 109

Functional Integration and Partial Differential Equations. (AM-109), Volume 109
Author: Mark Iosifovich Freidlin
Publisher: Princeton University Press
Total Pages: 560
Release: 2016-03-02
Genre: Mathematics
ISBN: 1400881595

This book discusses some aspects of the theory of partial differential equations from the viewpoint of probability theory. It is intended not only for specialists in partial differential equations or probability theory but also for specialists in asymptotic methods and in functional analysis. It is also of interest to physicists who use functional integrals in their research. The work contains results that have not previously appeared in book form, including research contributions of the author.

The Two-Valued Iterative Systems of Mathematical Logic

The Two-Valued Iterative Systems of Mathematical Logic
Author: Emil L. Post
Publisher: Princeton University Press
Total Pages: 136
Release: 1942-01-20
Genre: Mathematics
ISBN: 9780691095707

The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming.

Prospects in Mathematics. (AM-70), Volume 70

Prospects in Mathematics. (AM-70), Volume 70
Author: Friedrich Hirzebruch
Publisher: Princeton University Press
Total Pages: 185
Release: 2016-03-02
Genre: Mathematics
ISBN: 1400881692

Five papers by distinguished American and European mathematicians describe some current trends in mathematics in the perspective of the recent past and in terms of expectations for the future. Among the subjects discussed are algebraic groups, quadratic forms, topological aspects of global analysis, variants of the index theorem, and partial differential equations.

Seminar on the Atiyah-Singer Index Theorem

Seminar on the Atiyah-Singer Index Theorem
Author: Michael Francis Atiyah
Publisher: Princeton University Press
Total Pages: 384
Release: 1965-09-21
Genre: Mathematics
ISBN: 9780691080314

A classic treatment of the Atiyah-Singer index theorem from the acclaimed Annals of Mathematics Studies series Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century. To mark the continued success of the series, all books are available in paperback and as ebooks.