Lewis Carroll's visual logic FF Abeles History and philosophy of logic 28 (1), 1-17, 2007 | 33 | 2007 |
Dodgson condensation: The historical and mathematical development of an experimental method FF Abeles Linear algebra and its applications 429 (2-3), 429-438, 2008 | 31 | 2008 |
The mathematical pamphlets of Charles Lutwidge Dodgson and related pieces L Carroll, FF Abeles (No Title), 1994 | 30 | 1994 |
Lewis Carroll's formal logic F Abeles History and Philosophy of Logic 26 (1), 33-46, 2005 | 28 | 2005 |
The logic pamphlets of Charles Lutwidge Dodgson and related pieces CL Dodgson | 24 | 2010 |
Lewis Carroll's method of trees: its origins in Studies in logic FF Abeles | 23 | 1990 |
Chiò's and Dodgson's determinantal identities FF Abeles Linear Algebra and its Applications 454, 130-137, 2014 | 20 | 2014 |
The historical sources of tree graphs and the tree method in the work of Peirce and Gentzen IH Anellis, FF Abeles Modern Logic 1850-1950, East and West, 35-97, 2016 | 19 | 2016 |
Hugh MacColl and Lewis Carroll: crosscurrents in geometry and logic FF Abeles, A Moktefi Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, 55-76, 2011 | 18 | 2011 |
The political pamphlets and letters of Charles Lutwidge Dodgson and related pieces: a mathematical approach L Carroll, FF Abeles (No Title), 2001 | 18 | 2001 |
Determinants and linear systems: Charles L. Dodgson's view F Abeles The British Journal for the history of science 19 (3), 331-335, 1986 | 17 | 1986 |
Charles L. Dodgson's geometric approach to arctangent relations for Pi FF Abeles Historia Mathematica 20 (2), 151-159, 1993 | 16 | 1993 |
The making of ‘What the Tortoise said to Achilles’: Lewis Carroll’s logical investigations toward a workable theory of hypotheticals A Moktefi, FF Abeles The Carrollian 28, 14-47, 2016 | 13 | 2016 |
The Philosophical significance of Carroll's regress P Engel The Carrollian, 84-111, 2016 | 12 | 2016 |
Modern Logic 1850-1950, East and West FF Abeles, ME Fuller Birkhäuser, 2016 | 10 | 2016 |
Herbrand's fundamental theorem and the beginning of logic programming F Abeles | 10 | 1994 |
Toward a visual proof system: Lewis Carroll’s method of trees FF Abeles Logica Universalis 6, 521-534, 2012 | 7 | 2012 |
From the tree method in modern logic to the beginning of automated theorem proving FF Abeles MAA NOTES 68, 149, 2005 | 7 | 2005 |
An Introduction to Statistical Methods and Data Analysis. F Abeles Journal of the American Statistical Association 78 (383), 739-740, 1983 | 6 | 1983 |
Mathematics: Logic and Lewis Carroll FF Abeles Nature 527 (7578), 302-303, 2015 | 5 | 2015 |