Název:
Matematika nestandardních teoríí
Překlad názvu:
Metamathematics of Nonstandart Theories
Autoři:
Rössler, Michal ; Sochor, Antonín (vedoucí práce) ; Mlček, Josef (oponent) ; Švejdar, Vítězslav (oponent) Typ dokumentu: Disertační práce
Rok:
2008
Jazyk:
eng