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 52
Cover quality: good
Description
A foundational academic text from the Annals of Mathematics Studies series focusing on the structural properties and theoretical underpinnings of formal systems.
Book metadata
Catalog notes
Contributor: Raymond M. Smullyan
Cultural context
Category: Fonctions RécursivesCategory: Foundations Of MathematicsCategory: Funciones RecursivasCategory: Mathematical LogicCategory: MathematicsCategory: MetamatemáticaCategory: MetamathematicsCategory: MétamathématiqueCategory: Annals Of Mathematics Studies
Community signals
Have: 12 • Like: 0 • Avg Rating: 4.3 / 5 • Ratings: 417
Estimated value
Low
$-
Fair
$-
High
$-
Community comments
0 likes • 0 comments
Log in to like this book and join the discussion.
Loading comments…
Editions and similar books
This page is the canonical hub for edition variants, ISBN mapping, and recommendation bridges.
Harmonic Analysis in Phase Space. (AM-122), Volume 122

This Book Thinks You're a Maths Genius (This Book Thinks You're…)
Islamic patterns: an analytical and cosmological approach

Singular Points of Complex Hypersurfaces (AM-61), Volume 61
A Theory of Cross-Spaces. (AM-26), Volume 26
Functional Operators, Volume 1: Measures and Integrals
Lectures on Curves on an Algebraic Surface. (AM-59), Volume 59

Textbook on Mathematical Astrology
Suggest catalog improvements
Log in to submit metadata updates for this book.