Theory of deductive systems and its applications. Transl. from the Russian by Michael Gelfond and Vladimir Lifschitz. (English) Zbl 0667.03004
The MIT Press Series in the Foundations of Computing. Cambridge, MA: The MIT Press. XII, 151 p.; $ 20.00 (1987).