Ústav informatiky
Akademie věd České republiky
česky
english
česky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Ústav informatiky
Akademie věd České republiky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
english
česky
Ústav
O nás
Struktura ústavu
Orgány ústavu
Poradní sbor
Výroční zprávy a rozpočty
Informace dle 106/1999 Sb.
Ochrana oznamovatelů
Expozice výpočetní techniky
Zásady ochrany soukromí
Výzkum
Publikace
Projekty
Předmět výzkumu
Ocenění
Soutěž o nejlepší publikaci
Popularizace vědy
Aplikace
Transfer technologií
Aplikovaná informatika
Kompetence
Reference
Aktuality
Události
Knihovna
O knihovně
Informační zdroje
Publikační činnost
Knihovna Petra Hájka
Kariéra
Pracovní příležitosti
Doktorská témata studia
Stáže Radius
Kontakty
Domů
/
Výzkum
/
Publikace
/
Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic
Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic
Rok:
2000
Typ:
Konferenční sborník (mezinárodní konf.)
ID: 403902
Autoři:
Petr Hájek
Konferenční sborník (mezinárodní konf.)
