Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics, 120) 1970th Edition

5.63 MiB

Download ready in 3s