G. C. RotaBooksBounded Arithmetic, Propositional Logic and Complexity TheoryMethoden Zur Theorie der Ternären FormenAuthor data: Open Library