Showing
1 - 2
results of
2
for search '
Hájek, Petr
'
Skip to content
eng
English
Čeština
Your Account
Login...
Catalog Search
|
E-resources Search
Find
Advanced Search
Showing
1 - 2
results of
2
for search '
Hájek, Petr
'
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Year: 2016
Located:
Loading...
Plný text - nelze MVS
Informace o práci s e-knihami
Conference Proceeding
eBook
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
Year: 2016
Located:
Loading...
Plný text - nelze MVS
Informace o práci s e-knihami
Conference Proceeding
eBook
Search Tools:
Get RSS Feed
Narrow Search
Reset All Filters
Format
Conference Proceeding
2
eBook
2
Topic
Logic, Symbolic and mathematical
2
Computer science
1
Mathematical physics
1
Mathematics
1
Philosophy
1
Author
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
Language
English
2
Genre
Congresses
Year of Publication
From:
To:
×
Loading...