Title: Strutture dell'argomentare
Subjects: Symbolic and mathematical Logic, Constructive mathematics, Proof theory