J. R. Büchi

Identifiers

Open LibraryOL10236634A

Books by J. R. Büchi

Total count: 1

Decidable Theories : Vol. 2the Monadic Second Order Theory of All Countable Ordinals

Springer London, Limited2006-01-01