Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

There are not any news
NadpisWhere is the Gödel-Point hiding: Gentzen's consistency proof of 1936 and his representation of constructive ordinals
Publication TypeBook
Year2013
AuthorsHorská, A.
PublisherSpringer