This is a slighty revised version of the 1985 edition of my logic book. Many ty-
pos and errors have been corrected and the line drawings have been improved.
Most mistakes were minor, except for a subtle error in Theorem 4.3.3. Indeed,
the second part of the theorem about the complexity of the proof
相关下载链接:
//download.csdn.net/download/douch/1722944?utm_source=bbsseo