announces the year long celebrations in 2015 of the bicentenary of George Boole at University College Cork.
"A Primer on Boole's Algebra of Logic" my first talk in Cork (Aug 27, 2015)
"Justifying Boole's Algebra of Logic" my second talk in Cork (Aug 28, 2015)
Number Theoretic Density and Logical Limit Laws
A Course in Universal Algebra
An updated version for 2012 of our 1981 book is now available online.
Logic for Mathematics and
Includes:Interactive Logic Programs, Lecture Notes, and Supplementary Text
the software (C-programs) I have written:
Linear Diophantine Equations.
Interactive Logic Software.
Comments on Non-Euclidean Geometry
Frank Ruskey and Mark Weston's
A Survey of Venn Diagrams
has some fascinating information that we have really enjoyed in
History of Mathematical Logic
My notes and talks on the period from 1826 to 1940.
3-Element GUs (Groupoids with a Unary operation)