The Craig Interpolation Theorem for Schematic Systems (1996)

by A Carbone
Venue:Collegium Logicum { Annals of the Kurt Godel Society, SpringerVerlag