Zobrazuji výsledky
1 - 2
z
2
pro vyhledávání '
Hájek, Petr,
'
Přeskočit na obsah
cze
English
Čeština
Váš účet
Přihlásit se...
Vyhledávání v katalogu knihovny
|
Vyhledávání v e-zdrojích
Hledat
Pokročilé vyhledávání
Zobrazuji výsledky
1 - 2
z
2
pro vyhledávání '
Hájek, Petr,
'
Seřadit
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Rok: 2016
Umístění:
Načítá se...
Plný text - nelze MVS
Informace o práci s e-knihami
Konferenční sborník
E-kniha
2
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
Rok: 2016
Umístění:
Načítá se...
Plný text - nelze MVS
Informace o práci s e-knihami
Konferenční sborník
E-kniha
Vyhledávací nástroje:
RSS
Upřesnit hledání
Zrušit filtry
Typ dokumentu
Konferenční sborník
2
E-kniha
Předmětová hesla
Logic, Symbolic and mathematical
Computer science
1
Mathematical physics
1
Mathematics
1
Philosophy
1
Autor
Hájek, Petr,
2
Buss, Samuel R.,
1
Gödel '96 Brno, Czech Republic)
1
Logic Colloquium Prague, Czech Republic)
1
Pudlák, Pavel, 1952-
1
Jazyk
angličtina
2
Žánr
Congresses
Rok vydání
Od:
do:
×
Načítá se...