Search Results       Your search for [author]Krajihcek, Jan returned 1 record.           Bounded arithmetic, propositional logic, and complexity theory. by Krajihcek, Jan; Cambridge [England]: Cambridge University Press, 1995. Subject: Constructive mathematics; Computational complexity; Proposition (Logic).          Add to Book Cart Relevance: 20.40%