Deductive Systems and Grammars: Proofs as Grammatical Structures (1999)

by H J Tiede