Series:

Lecture Notes in Mathematics

1 primary work • 2 total works

Book 328

Cover of Decidable Theories

Decidable Theories

by Dirk Siefkes

Published 1 January 1970

Cover of Buchi's Monadic Second Order Successor Arithmetic