Decidable theories. 1-
Series: Lecture notes in mathematics -- 120; Lecture notes in mathematics (Springer-Verlag) -- 120
Publisher: Springer-Verlag
Published: 1970
Place of publication: New York
Language: eng
Subjects: Gödel's theorem