Mathematical Logic: models, sets, computability
Project Type: Prin 2017
Funded by: MIUR
Period: Aug 01, 2019 – Aug 19, 2023
Budget: € 111.908
Principal Investigator: Alessandro Berarducci (Università di Pisa)
Participants
Alessandro Berarducci (Università di Pisa), Mauro Di Nasso (Università di Pisa), Marcello Mamino (Università di Pisa), Pietro Majer (Università di Pisa)