[Welcome to Sensei's Library!]

StartingPoints
ReferenceSection
About


Referenced by
Superko
TrompTaylorRules

 

John Tromp
    Keywords: People

[ext] http://www.cwi.nl/~tromp/



This is a copy of the living page "John Tromp" at Sensei's Library.
(OC) 2003 the Authors, published under the OpenContent License V1.0.