Dirk Siefkes

Broschiertes Buch

Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Herausgegeben: Müller, Gert H.

Beschreibung

Decidability and completeness of SC.- Benefits of the decision procedure.

Produktdetails

• Lecture Notes in Mathematics 120
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-04909-8
• 1970.
• Seitenzahl: 144
• Erscheinungstermin: 1. Januar 1970
• Englisch
• Abmessung: 235mm x 155mm x 9mm
• Gewicht: 252g
• ISBN-13: 9783540049098
• ISBN-10: 3540049096
• Artikelnr.: 23380645