Theory of Formal Systems

Theory of Formal Systems

Author: Raymond M. Smullyan

Publisher: Princeton University Press

Published: 1961

Total Pages: 160

ISBN-13: 9780691080475

DOWNLOAD EBOOK

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

Published: 2009-07-26

Total Pages: 944

ISBN-13: 0691140480

DOWNLOAD EBOOK

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.


Automata Studies. (AM-34), Volume 34

Automata Studies. (AM-34), Volume 34

Author: C. E. Shannon

Publisher: Princeton University Press

Published: 2016-03-02

Total Pages: 285

ISBN-13: 1400882613

DOWNLOAD EBOOK

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


Transcendental Numbers. (AM-16)

Transcendental Numbers. (AM-16)

Author: Carl Ludwig Siegel

Publisher: Princeton University Press

Published: 2016-03-02

Total Pages: 102

ISBN-13: 1400882354

DOWNLOAD EBOOK

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


Mathematical Aspects of Nonlinear Dispersive Equations (AM-163)

Mathematical Aspects of Nonlinear Dispersive Equations (AM-163)

Author: Jean Bourgain

Publisher: Princeton University Press

Published: 2009-01-10

Total Pages: 309

ISBN-13: 1400827795

DOWNLOAD EBOOK

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.


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

Published: 2016-03-02

Total Pages: 560

ISBN-13: 1400881595

DOWNLOAD EBOOK

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

Published: 2016-03-02

Total Pages: 185

ISBN-13: 1400881692

DOWNLOAD EBOOK

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.