for the Study of Language and Information (1999)

by Proof Language, Logic Center