Krajíček, Jan
Krajíček, Jan, 1960-
Jan Krajíček matematik, vysokoškolský pedagog (*1960)
VIAF ID: 12378002 ( Personal )
Permalink: http://viaf.org/viaf/12378002
Preferred Forms
- 100 0 _ ‡a Jan Krajíček ‡c matematik, vysokoškolský pedagog (*1960)
-
-
- 100 1 _ ‡a Krajíček, Jan
-
-
-
- 100 1 _ ‡a Krajíček, Jan
- 100 1 _ ‡a Krajíček, Jan ‡d 1960-
- 100 1 _ ‡a Krajícek, Jan
-
-
-
- 100 1 _ ‡a Krajíček, Jan
-
-
4xx's: Alternate Name Forms (5)
5xx's: Related Names (5)
- 510 2 _ ‡a Akademie věd České republiky
- 510 2 _ ‡a Logic Colloquium '01 (2001 ; Wiedeń)
- 510 2 _ ‡a Univerzita Karlova
- 510 2 _ ‡a Univerzita Karlova ‡e Affiliation
- 510 2 _ ‡a Československá akademie věd
Works
Title | Sources |
---|---|
Arithmetic, proof theory, and computational complexity | |
Forcing with random variables and proof complexity | |
Logic Colloquium '01, 2005: | |
Omezená aritmetika, výrokový počet a teorie složitosti | |
On the weak pigeonhole principle | |
Složitost formálních důkazů |