Article Marion, Mathieu; Moktefi, Amirouche; (2014)
La logique symbolique en débat à Oxford à la fin du dix-neuvième siècle: Les disputes logiques de Lewis Carroll et John Cook Wilson (/isis/citation/CBB001551986/)

Article Moretti, Alessio; (2014)
Was Lewis Carroll an Amazing Oppositional Geometer? (/isis/citation/CBB001550610/)

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos (/isis/citation/CBB001210991/)

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (/isis/citation/CBB001220009/)

Book John P. Burgess; (2015)
Rigor and Structure (/isis/citation/CBB621282384/)

Article Cohoe, Caleb; (2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series (/isis/citation/CBB001201144/)

Book Amirouche Moktefi; Francine F. Abeles; (2016)
‘What the Tortoise Said to Achilles’. Lewis Carroll’s Paradox of Inference (/isis/citation/CBB285901732/)

Book Dodgson, Charles Lutwidge; Abeles, Francine F.; (2010)
The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces (/isis/citation/CBB001023270/)

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Article Anellis, Irving; (2012)
Jean van Heijenoort's Contributions to Proof Theory and Its History (/isis/citation/CBB001214119/)

Book Dodgson, Charles Lutwidge (Lewis Carroll); (2001)
The Political Pamphlets and Letters of Charles Lutwidge Dodgson and Related Pieces: A Mathematical Approach (/isis/citation/CBB000101218/)

Article Centrone, Stefania; (2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre (/isis/citation/CBB001210996/)

Article Weltya, Ivan; (2011)
Frege on Indirect Proof (/isis/citation/CBB001210988/)

Article Eder, Günther; (2013)
Remarks on Independence Proofs and Indirect Reference (/isis/citation/CBB001212142/)

Article Derek Ball; (2015)
‘Thick-Rinded Fruit of the Tree of Knowledge’: Mathematics Education in George Eliot's Novels (/isis/citation/CBB452759896/)

Book Wilson, Robin J.; (2008)
Lewis Carroll in Numberland: His Fantastical Mathematical Logical Life (/isis/citation/CBB000953065/)

Article Bir, Atilla; Kaçar, Mustafa; (2005)
Salih Zeki's Articles on the Trisection of an Angle (/isis/citation/CBB000931404/)

Book Chemla, Karine; (2012)
The History of Mathematical Proof in Ancient Traditions (/isis/citation/CBB001320137/)

Article Lützen, Jesper; (2009)
Why Was Wantzel Overlooked for a Century? The Changing Importance of an Impossibility Result (/isis/citation/CBB000953071/)

Article Lorenat, Jemma; (2012)
Not Set in Stone: Nineteenth-Century Geometrical Constructions and the Malfatti Problem (/isis/citation/CBB001212294/)