Propositional combinations of {sentences in heyting's arithmetic (1994)

by A Visser