EKB DL

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

EKB DL

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

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

Description

Book by Siefkes, Dirk

Keywords

SEQUENTIAL MACHINE THEORYGOEDEL'S THEOREMMODEL THEORY

1970Book

Author(s)Gert H. Mller

PublisherSpringer

ISBN9783540049098

LanguageEnglish

SpringerLink Book

Similar Books

Book

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

Book

Büchi’s Monadic Second Order Successor Arithmetic

Book

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

Book

Course of Mathematical Logic Volume I Relation and Logical Formula

Book

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

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

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

Book

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

Book

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)