Lecture Notes in Mathematics 1455:Bifurcations of Planar Vector Fields
J.-P.Francoise1990 年出版396 页ISBN：3540535098
DAVID B.BRINKERHOFF LYNN K.WHITE1988 年出版652 页ISBN：031462399X
CAMMATICALIZATION SECOND EDITION
[美]PAUAL J.HOPPER ELIZABETH CLOSS TRAUGOTT等著2005 年出版276 页ISBN：
DIANE E.PAPALIA AND SALLY WENDKOS OLDS1988 年出版755 页ISBN：
ROBERT T.SMITH ROLAND B.MINTON2002 年出版1271 页ISBN：007283093X
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
ROBERT H.HAWES PAUL FOCKENS SHYAM VARADARAJUIU2011 年出版297 页ISBN：1437708059
