Skip to content
  • 2manybooks
    • Find books
    • About
    • Log in
    • Register

Theory of Formal Systems. (AM-47), Volume 47

• Princeton University Press • ISBN 9781400882007

Theory of Formal Systems. (AM-47), Volume 47 cover

Theory of Formal Systems. (AM-47), Volume 47

• Princeton University Press • ISBN-13 9781400882007

ISBN-10 Not provided

Canonical book record

ISBN 9781400882007 • 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

Publisher: Princeton University PressPages: 156

Catalog notes

Contributor: Theory of Formal

Cultural context

Category: Foundations Of MathematicsCategory: Mathematical LogicCategory: Symbolic LogicCategory: Theoretical Computer ScienceCategory: Annals Of Mathematics StudiesCategory: Computational TheoryCategory: Academic ReferenceCategory: Theoretical Mathematics

Community signals

Have: 12 • Like: 0 • Avg Rating: 4.2 / 5 • Ratings: 2,736

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.

Continuous Model Theory. (AM-58), Volume 58 cover

Continuous Model Theory. (AM-58), Volume 58

Non-Archimedean Tame Topology and Stably Dominated Types cover

Non-Archimedean Tame Topology and Stably Dominated Types

Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers cover

Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers

Handbook of Theoretical Computer Science cover

Handbook of Theoretical Computer Science

Handbook of Theoretical Computer Science cover

Handbook of Theoretical Computer Science

The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age cover

The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age

Elements of Mathematics: From Euclid to Gödel cover

Elements of Mathematics: From Euclid to Gödel

Symbolic Forms and Cultural Studies cover

Symbolic Forms and Cultural Studies

Suggest catalog improvements

Log in to submit metadata updates for this book.

2manybooks

Company

PressCareersPricingResources

Resources

APIBrowser ExtensionsDocumentationHelp center

Connect

Get in TouchInstagramTikTokProduct HuntThreads
App StoreGoogle Play
© 2026 2manybooks Inc.PrivacyTerms2mb v3.4.4

© 2026 2manybooks. All rights reserved. All book values provided are estimates only and are intended for general informational purposes. Such values may vary based on market conditions, item condition, provenance, and other factors, and should not be relied upon as definitive or current valuations. No representation or warranty, express or implied, is made regarding the accuracy or completeness of these estimates. For an accurate, current, and authoritative valuation, users should consult a qualified professional appraiser.

  • 2manybooks
    • Find books
    • About
    • Log in
    • Register