Bchis Monadic Second Order Successor Arithmetic
Publisher: Springer
Published: 1970
Number of pages: 134
ISBN-13: 9783540049098