El libro es una reimpresión de gran parte del trabajo de Boolos sobre la rehabilitación de Frege, como también incluye trabajos sobre teoría de conjuntos, lógica de segundo orden y no encuadrable por una lógica de primer orden, cuantificación plural, teoría de la demostración, y tres trabajos profundos sobre el teorema de la incompletitud de Gödel.