Nwe version

another new version on the web. Only changes in the section 5.4 about "induction theorems".

Geir

Published Oct. 15, 2017 4:58 PM - Last modified Oct. 15, 2017 4:58 PM