An inverse method of establishing deducibilities in the classical predicate calculus (1964)

by Maslov
Venue:Dokl. Akad. Nauk SSSR