EKB DL

Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinals | EKB DL

EKB DL

Home BookDecidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Decidable Theories Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Description

Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals (Lecture Notes in Mathematics) [paperback] Büchi, J.R.,Siefkes, D.,Müller, G.H.,Siefkes, D. [Aug 20, 1973]

Keywords

MathematicsLogicHistory & Philosophy

1973Book

Author(s)J Richard Büchi

PublisherSpringer Berlin Heidelberg

ISBN9783540063452

LanguageEnglish

SpringerLink Book

Similar Books

Book

Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120)

Book

Büchi’s Monadic Second Order Successor Arithmetic

Book

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets (Lecture Notes in Mathematics, 1103)

Book

Degrees of Unsolvability: Structure and Theory (Lecture Notes in Mathematics, 759)

Book

The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)

Book

Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics, 447)

Book

Model Theoretic Algebra: Selected Topics (Lecture Notes in Mathematics, 521)

Book

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, Band 87) (German Edition)

Book

Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)

Book

Models of ZF-Set Theory