Decidable Theories I
Müller, Gert H.
Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes. - XIV, 134 p. online resource. - Lecture Notes in Mathematics, 120 0075-8434 ; . - Lecture Notes in Mathematics, 120 .
9783540362524
10.1007/BFb0061047 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes. - XIV, 134 p. online resource. - Lecture Notes in Mathematics, 120 0075-8434 ; . - Lecture Notes in Mathematics, 120 .
9783540362524
10.1007/BFb0061047 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3