Filozofická Fakulta

Katedra logiky

Aktuality

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné...
22. duben 2017

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