S. I͡U Maslov

Theory of deductive systems and its applications
Teorii͡a deduktivnykh sistem i ee primenenii͡a