URI(s)
Identifies LC/NAF RWO
Identifies RWO
Birth Date
- 1980-06-18
Has Affiliation
- Organization: Akademie věd České republiky
- Organization: Univerzita Karlova
Field of Activity
Occupation
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Arithmetic, proof theory, and computational complexity, 1992:CIP t.p. (Jan Krajíček, Math. Institute, Czechoslovak Academy of Sci., Prague)
- found: Logic Colloquium '01, 2005:CIP t.p. (Jan Krajíček; Mathematical Institute, Academy of Sciences of the Czech Republic) data sheet (b. June 18, 1960)
- found: Jan Krajíček website and cv, viewed 29 September 2018:(Charles University Faculty of Mathematics and Physics ( Dept. of Algebra)) / Student logic seminar. Logic seminar) - https://www.karlin.mff.cuni.cz/~krajicek/index.html
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1992-11-17: new
- 2018-09-30: revised
Alternate Formats