Nominalistic ordinals and potential infinities in the consistency proofs of Gentzen and Ackermann

Aktivitet: Typer för tal eller presentation!!Oral presentation

Period2017
HändelsetitelInfinity seminar (University of Helsinki)
Typ av evenemangSeminarium