ISBN 0262132230 books & textbook
Theory of Deductive Systems and Its Applications (Mit Press Series in the Foundations of Computing) (English and Russian Edition)
Maslov, S. Yu. Gelfond, Michael Lifschitz, Vladimir
Mit Pr /1987T Hardcover / 161 Pages
isbn-10: 0262132230 / isbn-13: 9780262132237