Undecidable Properties in Syntactic Theories (1991)

by F Klay