Open menu
Daniel Leivant
Logic and computational complexity
Logic and Computational Complexity