Adaptive Proofs

  • Leon F M Horsten (Speaker)

Activity: Participating in or organising an event types › Invited talk

Description

Partial Kripke Feferman
Period1 Jun 2005
Event typeConference