Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Matthias Baaz & Christos H. Papadimitriou & Hilary W. Putnam & Dana S. Scott & Charles L. Harper, Jr
Combinatorial Optimization: Algorithms and Complexity
Christos H. Papadimitriou & Kenneth Steiglitz