Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook

Bruce M Kapron (editor), 9798400707773, 9798400707797, 9798400707780, 9798400707803