Bounded arithmetic, propositional logic, and complexity theory - Krajíček, Jan, 1960- (Cambridge : Cambridge University Press, 2004)
Obsahuje bibliografiu a register
Spôsob prístupu: World Wide Web
Keywords: konštruktívna matematika; výroková logika; teória zložitosti; monografie; www dokumenty