This document is unfortunately not available for download at the moment.
Oliver Schlaudt , Mohsen Sakhri (2010) Louis Couturat: traité de logique algorithmique, Dordrecht, Springer.
pp. 263-296
This document is unfortunately not available for download at the moment.