Brothers, the same but different: Q and PA^-

Activity: Talk or presentation › Invited talk › Academic

Period18 Apr 2015
Event titleUtrecht Workshop on Proof Theory
Event typeWorkshop
LocationUtrecht, NetherlandsShow on map

Keywords

  • weak theories
  • interpretability