Tarskian Structured Consequence Relations and Functional Completeness (1995)

by H Wansing
Venue:Mathematical Logic Quarterly