STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
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
THE HISTORY OF MATHEMATICS：AN INTRODUCTION
DAVID M.BURTON2222 年出版678 页ISBN：0205080952
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
THE FOUNDATIONS OF ANALYSIS：A STRAIGHTFORWARD INTRODUCTION BOOK 2 TOPOLOGICAL IDEAS
K.G.BINMORE2222 年出版249 页ISBN：052123350X
GRADUATE TEXTS IN MATHEMATICS 188:LECTURES ON THE HYPERREALS AN INTRODUCTION TO NONSTANDARD ANALYSIS
ROBERT GOLDBLATT1998 年出版292 页ISBN：038798464X
THE FOUNDATIONS OF ANALYSIS：A STRAIGHTFORWARD INTRODUCTION BOOK 1 LOGIC，SETS AND NUMBERS
K.G.BINMORE2222 年出版131 页ISBN：0521233224
Graduate Texts in Mathematics Arlen Brown Carl Peary Introduction to Operator Theory 1 Elements of F
2222 年出版474 页ISBN：0387902570
