Studies in Proof Theory

Questa collana, in lingua inglese, dedicata alla teoria della dimostrazione di importanza fondamentale per l’intera riflessione sul pensiero matematico, ha tra le sue pubblicazioni opere di grande rilevanza scientifica come quelle di Kreisel, Girard e Mintz. Di essa fa parte integrante la sezione “Lecture notes” che raccoglie atti di convegni e brevi monografie su aspetti monotematici della teoria della dimostrazione.