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. 63-73
This document is unfortunately not available for download at the moment.