Theory of deductive systems and its applications
By: S. Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz.
Series: MIT Press series in the foundations of computing
Publisher: MIT Press
Published: 1987
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 151
Subjects: Logic, Symbolic and mathematical.; Algorithms.; Machine theory.; Artificial intelligence.
Notes: Bibliography: p. [149]-151.
Translation of: Teoriya deduktivnykh system i yeyo primeneniya.