An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
The Logical Approach to Syntax: Foundations, Specifications, ...
Edward P. Stabler & Maurice V. Wilkes
Fuzziness and Medicine: Philosophical Reflections and Application ...
Rudolf Seising & Marco Elio Tabacchi
C++17 Quick Syntax Reference
Mikael Olsson
The International Dictionary of Marketing: Over 2000 Professional ...
Daniel L. Yadin
离散数学结构
B.·科尔曼 (美) & Bernard Kolman & Robert C. Busby