Combinatorial Optimization: Algorithms and Complexity
Christos H. Papadimitriou & Kenneth Steiglitz
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