Prestel, A. Entscheidbarkeit mathematischer Theorien. (German) Zbl 0426.03013 Jahresber. Dtsch. Math.-Ver. 81, 177-188 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B25 Decidability of theories and sets of sentences 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations × Cite Format Result Cite Review PDF