NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
CONTENTS NOTE
Text of Note
Title Vol.1:Classical logic Vol.2:Non-Classical logic Vol.3:Model theoryVol.4:Recursion theory Vol.5:Set Theory Vol.6:Proof theory constructive Mathematics