Home
Research
Short CV
Links
A picture
Maths British Logic Colloquium Association for Symbolic Logic Associazione Italiana di Logica e sue Applicazioni MODNET London Mathematical Society American Mathematical Society Unione Matematica Italiana Istituto Nazionale di Alta Matematica, whose sponsorship I gratefully acknowledge History of Maths Archive