Decidable Theories : Vol. 1
Subtitle: Büchi`s Monadic Second Order Successor Arithmetic
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540362524