Hereditary Undecidability of Some Theories of Finite Structures
Journal of Symbolic Logic - United Kingdom
doi 10.2307/2275703
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 1994
Authors
Publisher
Cambridge University Press (CUP)