1988

Soubor přednášek z 1. semináře o integrovaných informačních a výpočetních systémech

HAMATA, Václav, HAVRÁNEK, Tomáš, HOCHMANN, R., KROFTOVÁ, Jarmila, LAŠKA, I., NOVÁK, Mirko, STRNAD, Petr, ŠEBESTA, Václav, ŠTULLER, Július, VALENTA, J., VOJTA, P. <em>Soubor přednášek z 1. semináře o integrovaných informačních a výpočetních systémech</em>. Praha: SVT ČSAV, 1988. Výzkumná zpráva, V-398.

Autoři: Václav Hamata , Tomáš Havránek , R. Hochmann , Jarmila Kroftová , I. Laška , Mirko Novák , Petr Strnad , Václav Šebesta , Július Štuller , J. Valenta , P. Vojta

1988

Matematika aritmetiky prvního řádu

HÁJEK, Petr. <em>Matematika aritmetiky prvního řádu</em>. Praha, 1988. Dizertační práce. ČSAV. Dostupné z: http://aleph.lib.cas.cz/F/?func=direct&doc_number=001121243&local_base=AV

Autoři: Petr Hájek