MaRDI QIDQ5104552
Ulrich Kohlenbach
Publication date: 14 September 2022
Mathematics Subject Classification ID
03Bxx: General logic
03Fxx: Proof theory and constructive mathematics