Showing 1 - 2 results of 2 for search 'Krajicek, Jan', query time: 0.02s Refine Results
  1. 1
    Bounded arithmetic, propositional logic, and complexity theory /
    by Krajicek, Jan
    Published 1995
    Publisher description
    Table of contents
    Book
  2. 2
    Arithmetic, proof theory, and computational complexity
    Published 1993
    Other Authors: “…Krajicek, Jan…”
    Book
Search Tools: RSS Feed – Email Search