Showing
1 - 3
results of
3
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 - 3
results of
3
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
3
Metamathematics of first-order arithmetic
by
Hájek
,
Petr
,
,
Pudlák, Pavel, 1952-
Year: 2016
Located:
Loading...
Plný text - nelze MVS
Informace o práci s e-knihami
eBook
Search Tools:
Get RSS Feed
Narrow Search
Reset All Filters
Format
eBook
Conference Proceeding
2
Topic
Logic, Symbolic and mathematical
2
Arithmetic
1
Computer science
1
Foundations
1
Mathematical physics
1
Mathematics
1
more ...
Philosophy
1
see all ...
less ...
Author
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
Language
English
3
Genre
Congresses
2
Year of Publication
From:
To:
×
Loading...