Suchergebnis

Suche nach: Autor / Beteiligte = Bara, Stéphanie und Sammlung = UB Paderborn

Bounded arithmetic, propositional logic and complexity theory
Krajíček, Jan
Cambridge [u.a.] : Cambridge Univ. Press, 1995