GRUNDLEHREN DER MATHEMATISCHEN WISSENSCHAFTEN 248 A SERIES OF COMPREHENSIVE STUDIES IN MATHEMATICS
1986 年出版622 页ISBN:0387109161
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN:0444895051
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN:0444898409
STUDIES IN GENERATIVE GRAMMAR 44 THE MATHEMATICS OF SYNTACTIC STRUCTURE TREES AND THEIR LOGICS
1999 年出版348 页ISBN:3110162733
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN:044450205X