Büchi's Monadic Second Order Successor Arithmetic
Publisher: Springer
Published: 1970
Language: ger
Number of pages: 133
ISBN-13: 9783662358481