On Kreisel's `Solution' of a Problem of Henkin's

    Activity: Talk or presentation › Invited talk › Popular

    Period25 Mar 2010
    Event titleFarewell Colloquium for Peter van Emde Boas (Amsterdam)
    Event typeSeminar