Theory of Formal Systems. (AM-47), Volume 47
Raymond M. Smullyan • Princeton University Press • ISBN-13 978‑1400882007
Theory of Formal Systems. (AM-47), Volume 47
Raymond M. Smullyan • Princeton University Press
ISBN-10: 1400882001 · ISBN-13: 978‑1400882007 · 2016
Canonical book record
Completeness 44
Cover quality: missing
2manybooks editorial
A foundational academic text from the Annals of Mathematics Studies series focusing on the structural properties and theoretical underpinnings of formal systems.
Book metadata
Contributors
Author: Raymond M Smullyan
Community tags
Inferred themes
Machine-inferred from catalog text. Not verified subjects.
Inferred: Foundations Of MathematicsInferred: Mathematical LogicInferred: Symbolic LogicInferred: Annals Of Mathematics Studies
Community signals
Have: 6 · Like: 8 · Rating: 3.8 / 5 (10)
Current asking prices
Lowest
—
Median
—
Highest
—
Community comments
0 likes • 0 comments
Log in to like this book and join the discussion.
Loading comments…
Editions and similar books
Related titles. These are other books, not live offers for Theory of Formal Systems. (AM-47), Volume 47.
Asymptotic Differential Algebra and Model Theory of Transseries
, ,
Harmonic Analysis in Phase Space. (AM-122), Volume 122
This Book Thinks You're a Maths Genius (This Book Thinks You're…)
Contributions to the Theory of Partial Differential Equations. (AM-33), Volume 33
, ,
Islamic patterns: an analytical and cosmological approach
Singular Points of Complex Hypersurfaces (AM-61), Volume 61
Music by the Numbers: From Pythagoras to Schoenberg
Functional Operators, Volume 1: Measures and Integrals
Suggest catalog improvements
Log in to submit metadata updates for this book.