Büchi’s Monadic Second Order Successor Arithmetic

Book information

Publisher

Springer-Verlag Berlin Heidelberg

Year

1970

ISBN

978-3-662-35848-1, 978-3-662-36678-3

DOI

10.1007/978-3-662-36678-3

Language

german

Format

PDF

Filesize

12 MB (12961849 bytes)

Series

Lecture Notes in Mathematics

Edition

1

Pages

133\146

Time added

2014-01-18 08:00:00