Zobrazuji výsledky
1 - 3
z
3
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 - 3
z
3
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
3
Metamathematics of first-order arithmetic
Autor:
Hájek
,
Petr
,
,
Pudlák, Pavel, 1952-
Rok: 2016
Umístění:
Načítá se...
Plný text - nelze MVS
Informace o práci s e-knihami
E-kniha
Vyhledávací nástroje:
RSS
Upřesnit hledání
Zrušit filtry
Typ dokumentu
E-kniha
Konferenční sborník
2
Předmětová hesla
Logic, Symbolic and mathematical
2
Arithmetic
1
Computer science
1
Foundations
1
Mathematical physics
1
Mathematics
1
více ...
Philosophy
1
zobrazit vše ...
méně ...
Autor
Hájek, Petr,
3
Pudlák, Pavel, 1952-
2
Buss, Samuel R.,
1
Gödel '96 Brno, Czech Republic)
1
Logic Colloquium Prague, Czech Republic)
1
Jazyk
angličtina
3
Žánr
Congresses
2
Rok vydání
Od:
do:
×
Načítá se...