Showing
1 - 2
results of
2
for search '
Pudlák, Pavel, 1952-
'
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 '
Pudlák, Pavel, 1952-
'
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
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
2
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
Format
eBook
2
Conference Proceeding
1
Topic
Arithmetic
1
Foundations
1
Logic, Symbolic and mathematical
1
Author
Hájek, Petr,
2
Pudlák, Pavel, 1952-
2
Buss, Samuel R.,
1
Logic Colloquium Prague, Czech Republic)
1
Language
English
2
Genre
Congresses
1
Year of Publication
From:
To:
×
Loading...