announces the year long celebrations in 2015 of the bicentenary of George Boole at University College Cork.
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)