Proof Society 2025

Speaker

Piotr Gruza

University of Warsaw

Talks at this conference:

 Fri, 11:30 Definiteness properties of arithmetical theories
Contributed

 Overview  Program