STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN:0444895051
GRADUATE TEXTS IN MATHEMATICS 148:AN INTRODUCTION TO THE THEORY OF GROUPS FOURTH EDITION
JOSEPH J.ROTMAN1995 年出版515 页ISBN:0387942858
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN:0444898409
(美)(J.D.福克萨尔)James D.Foxall著;王建华等译2000 年出版223 页ISBN:7111080432