Page 1 of 1.
Claus-Peter Wirth
In: Logic Journal of the IGPL Oxford, Vol. 20, Oxford University Press. 12/2012.
In: Logica Universalis, Vol. 6, Pages 485-520, Springer Publishing House, 2012.
In: Journal of Symbolic Computation, Vol. 47, Pages 1109-1135, Academic Press, Elsevier, 2012.
Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.