Decidable Theories: Vol. 1: Büchi's Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics (120), Band 120)
von
Dirk Siefkes
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-04909-8
ISBN-10: 3-540-04909-6
Springer
· 2009
