Publications

In: Dov M. Gabbay, John Woods. Logic from Russell to Church. Pages 195-254 Handbook of The History of Logic 5 Elsevier 6/2009.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz