Interpolation and Proof Systems

Activity: Talk or presentationInvited talkAcademic

Period5 May 2015
Event titleApplications of Logic in Philosophy and the Foundations of Mathematics
Event typeConference
LocationSzlarska Poreba, PolandShow on map