Skolemization in intuitionistic logic

    Activity: Talk or presentation › Invited talk › Academic

    Period2012
    Event titleSeminar of the math dept. of the University of Athens
    Event typeOther
    LocationAthensShow on map