THEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS - Maslov, Sergei Iur'Evich; Lifschitx, Vladimir (Cambridge Mit Pr., 1987)
Keywords: Logic, Symbolic And Mathematical; Algorithms; Machine Theory