Original title:
Matematika nestandardních teoríí
Translated title:
Metamathematics of Nonstandart Theories
Authors:
Rössler, Michal ; Sochor, Antonín (advisor) ; Mlček, Josef (referee) ; Švejdar, Vítězslav (referee) Document type: Doctoral theses
Year:
2008
Language:
eng
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/17743