VIAF

Virtual International Authority File

Search

Cover for 0521452058

Krajíček, JanNUKAT Center (Poland)Library of Congress/NACONational Library of the Netherlands-testBibliothèque nationale de FranceDeutsche Nationalbibliothek

Krajíček, Jan, 1960-National Library of the Czech Republic

VIAF ID: 12378002 (Personal)

Permalink: http://viaf.org/viaf/12378002

Open SectionClose Section Preferred Forms

  • Bibliothèque nationale de France
    Internal VIAF record
    200 _ | ‎‡a  Krajíček‏ ‎‡b  Jan
  • NUKAT Center (Poland)
    Internal VIAF record
    100 1 _ ‎‡a  Krajiček, Jan.
  • National Library of the Czech Republic
    Internal VIAF record
    100 1 _ ‎‡a  Krajíček, Jan,‏ ‎‡d  1960-
  • Deutsche Nationalbibliothek
    Internal VIAF record
    100 1 _ ‎‡a  Krajiček, Jan (undifferentiated)
  • Library of Congress/NACO
    Internal VIAF record
    100 1 0 ‎‡a  Krajíček, Jan
  • National Library of the Netherlands-test
    Internal VIAF record
    100 1 _ ‎‡a  Krajíček, Jan

 

 

Open SectionClose Section 4xx's: Alternate Name Forms (1)

Open SectionClose Section Selected Titles

  1. Bounded arithmetic, propositional logic, and complexity theory ‎(6) NUKAT Center (Poland)National Library of the Netherlands-testNational Library of the Czech RepublicLibrary of Congress/NACODeutsche Nationalbibliothek
  2. Arithmetic, proof theory, and computational complexity ‎(5) NUKAT Center (Poland)National Library of the Netherlands-testBibliothèque nationale de FranceLibrary of Congress/NACO
  3. Forcing with random variables and proof complexity ‎(3) NUKAT Center (Poland)National Library of the Czech RepublicLibrary of Congress/NACO
  4. Complexity of computations and proofs ‎(3) NUKAT Center (Poland)National Library of the Netherlands-test
  5. Arithmetic, proof theory, and computational complexity ‎(2) Bibliothèque nationale de France
  6. Složitost formálních důkazů ‎(1) National Library of the Czech Republic
  7. Omezená aritmetika, výrokový počet a teorie složitosti ‎(1) National Library of the Czech Republic
  8. Logic Colloquium '01, 2005: ‎(1) Library of Congress/NACO
  9. Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 ‎(1) NUKAT Center (Poland)
  10. Bounded arithmetic, propositional logic, and complexity theory ‎(1) Bibliothèque nationale de France

Open SectionClose Section Selected Co-authors

Open SectionClose Section Countries of Publication (5)

Open SectionClose Section Publication Statistics

Open SectionClose Section Selected Publishers (4)

Open SectionClose Section About

Open SectionClose Section History of VIAF ID:12378002 (12)