John R. Fisher
John R. Fisher
cpp email
prolog :- tutorial
Colog weblog
Math research 1971-1981

Logic research 1995-2009