- Mod. Log.
- Volume 6, Number 1 (1996), 37-66.
Contributions of Polish logicians to decidability theory
Mod. Log., Volume 6, Number 1 (1996), 37-66.
First available in Project Euclid: 6 March 2008
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03-03: Historical (must also be assigned at least one classification number from Section 01)
Secondary: 01A60: 20th century 03B25: Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] 03C10: Quantifier elimination, model completeness and related topics 03C35: Categoricity and completeness of theories 03D35: Undecidability and degrees of sets of sentences
Murawski, Roman. Contributions of Polish logicians to decidability theory. Mod. Log. 6 (1996), no. 1, 37--66. https://projecteuclid.org/euclid.rml/1204835630