Book Grattan-Guinness, I.; (2000)
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel (/isis/citation/CBB000111675/)

Book Grattan-Guiness, I.; (2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel (/isis/citation/CBB000102346/)

Article Peckhaus, Volker; Kahle, Reinhard; (2002)
Hilbert's Paradox (/isis/citation/CBB000200284/)

Article Shapiro, Stewart; (2003)
Prolegomenon to Any Future Neo-Logicist Set Theory: Abstraction and Indefinite Extensibility (/isis/citation/CBB000410717/)

Chapter Sandu, Gabriel; Aho, Tuomo; (2009)
Logic and Semantics in the Twentieth Century (/isis/citation/CBB001210354/)

Article Norman Biggs; (2018)
Game, Set, and Graph (/isis/citation/CBB993614577/)

Book Link, Godehard; (2004)
One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (/isis/citation/CBB001212888/)

Book Corry, Leo; (2004)
David Hilbert and the Axiomatization of Physics (1898-1918): From Grundlagen der Geometrie to Grundlagen der Physik (/isis/citation/CBB000550055/)

Chapter Hodges, Wilfrid; (2009)
Set Theory, Model Theory, and Computability Theory (/isis/citation/CBB001210350/)

Book Ebbinghaus, Heinz-Dieter; Peckhaus, Volker; (2007)
Ernst Zermelo: An Approach to His Life and Work (/isis/citation/CBB000831311/)

Chapter Mancosu, Paolo; (2006)
Tarski on Models and Logical Consequence (/isis/citation/CBB000800123/)

Article Ebbinghaus, Heinz-Dieter; (2004)
Zermelo in the Mirror of the Baer Correspondence, 1930--1931 (/isis/citation/CBB000410840/)

Book Badesa, Calixto; (2004)
The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives (/isis/citation/CBB000400018/)

Thesis Frost-Arnold, Gregory G.; (2006)
Carnap, Tarski, and Quine's Year Together: Logic, Mathematics, and Science (/isis/citation/CBB001560950/)

Book Greg Frost-Arnold; (2013)
Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science (/isis/citation/CBB416944911/)

Article Rusnock, Paul; Burke, Mark; (2010)
Etchemendy and Bolzano on Logical Consequence (/isis/citation/CBB001210969/)

Chapter Peckhaus, Volker; (2009)
The Mathematical Origins of Nineteenth-Century Algebra of Logic (/isis/citation/CBB001210344/)

Article Corcorana, John; Sagüillob, José Miguel; (2011)
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (/isis/citation/CBB001210989/)

Chapter Hallett, Michael; (2010)
Frege and Hilbert (/isis/citation/CBB001211657/)

Article Willea, Matthias; (2011)
“Metamathematics” in Transition (/isis/citation/CBB001211006/)