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.

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.

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.

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.

Mathematical Aspects of Nonlinear Dispersive Equations (AM-163)

Mathematical Aspects of Nonlinear Dispersive Equations (AM-163)
Author: Jean Bourgain
Publisher: Princeton University Press
Total Pages: 309
Release: 2009-01-10
Genre: Mathematics
ISBN: 1400827795

This collection of new and original papers on mathematical aspects of nonlinear dispersive equations includes both expository and technical papers that reflect a number of recent advances in the field. The expository papers describe the state of the art and research directions. The technical papers concentrate on a specific problem and the related analysis and are addressed to active researchers. The book deals with many topics that have been the focus of intensive research and, in several cases, significant progress in recent years, including hyperbolic conservation laws, Schrödinger operators, nonlinear Schrödinger and wave equations, and the Euler and Navier-Stokes equations.