Dirk Siefkes

Decidable Theories - 1970 - Heidelberg Springer Berlin 1970 - Monograph - Lecture Notes in Mathematics v.120 .

9783540362524


Mathematics and Statistics