Center for speculative logic




Download the text as a pdf-file "Call for Entries"

- CLOSED - The prize went to Dr. Dieter Probst of the University of Bern, Switzerland, for his work "A consistency proof of LiDλZ".




back to projects