Normal view
MARC view
- Cambridge University Press
Cambridge University Press (Corporate Name)
Machine generated authority record.
Work cat.: (JGU)2753980: Krajíček, Jan., Bounded arithmetic, propositional logic, and complexity theory /, 1995.