Theory Of Deductive Systems And Its Applications (1987)

by Maslov S Yu