Filozofická Fakulta

Katedra logiky

Aktuality

se konají společně v Út 6.2.2018. od 9h.

11. leden 2018

se konají v těchto termínech:

(1) středa 17.1.2018 od 14 hodin

(2) středa 24.1....

10. leden 2018

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