Unveiling the constructive core of classical theories: A contribution to 90 years of Glivenko's theorem

Negri, S. (Speaker)

Activity: Talk or presentation typesInvited talk

Description

Logic Colloquium (organised by the UConn Logic Group)
Period2 May 2019
Held atUniversity of Connecticut, United States
Degree of RecognitionInternational