Finitary Inductively Presented Logics, in: Logic Colloquium (1988)

by S Feferman