Search results
- 1.0380406 - UIVT-O 882079 CS1 cze D - Thesis
Hájek, Petr
Modely teorie množin s individuy.
Praha: MÚ ČSAV, 1964. 47 s. Disertace.
Permanent Link: http://hdl.handle.net/11104/0211122 - 2.0332986 - UIVT-O 882079 CS1 cze D - Thesis
Hájek, Petr
Matematika aritmetiky prvního řádu.
Praha: ČSAV, 1988. 146 s. Doktorská disertační práce, KD-92.
http://aleph.lib.cas.cz/F/?func=direct&doc_number=001121243&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0178083