Adaptive Proofs

Leon F M Horsten (Speaker)

Activity: Participating in or organising an event typesInvited talk

Description

Partial Kripke Feferman
Period1 Jun 2005
Event typeConference