The Craig interpolation theorem for schematic systems (1996)

by A Carbone
Venue:In Collegium logicum