|
|
- Professor Boris Zilber
Model theory and applications to algebra and geometry
http://www.maths.ox.ac.uk/~zilber
-
Logic and Games
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
http://plato.stanford.edu/entries/logic-games/
-
Kaye, Richard
University of Birmingham - Model theory.
http://for.mat.bham.ac.uk/R.W.Kaye/
-
Medieval Theories of Analogy
Entry in the Stanford Encyclopaedia of Philosophy, by E. Jennifer Ashworth.
http://plato.stanford.edu/entries/analogy-medieval/
-
LOOM
A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at the University of Southern California's Information Sciences Institute. The goal of the project is to develop and field advanced tools for knowledge representation and reasoning in Artificial Intelligence.
http://www.isi.edu/isd/LOOM/LOOM-HOME.html
-
Turing 2004: A Celebration of his Life and Achievements
One Day Conference to be held at the University of Manchester, June 5th, 2004 and run jointly by the British Logic Colloquium and the British Society for the History of Mathematics.
http://www.maths.man.ac.uk/logic/turing2004/
|
 |
|
