A Formalisation of Crispin Wright's Strict Finitistic First-order Logic

Activity: Talk or presentation › Invited talk › Academic

Period21 Sept 2022
Event titleThe Workshop on Proofs and Formalization in Logic, Mathematics and Philosophy
Event typeWorkshop
LocationUtrecht, NetherlandsShow on map
Degree of RecognitionInternational