J.R. Büchi

Decidable Theories - 1973 - Heidelberg Springer Berlin 1973 - Monograph - Lecture Notes in Mathematics v.328 .

9783540469469


Mathematics and Statistics