Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
MODERN MODALITIES:STUDIES OF THE HISTORY OF MODAL THEORIES FROM MEDIEVAL NOMINALISM TO LOGICAL POSIT
S.KNUUTTILA2222 年出版345 页ISBN：9027726787
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
Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN：3540095268
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN：3540083537
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
Separation，Recovery，and Purification in Biotechnology Recent Advances and Mathematical Modeling
2222 年出版228 页ISBN：0841209782
