1. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof;Andrews,2002
2. Leibniz's syllogistico-propositional calculus;Castañeda;Notre Dame J. Form. Log.,1976
3. Handbook of Mathematical Fuzzy Logic,2011
4. Handbook of Mathematical Fuzzy Logic,2011
5. A general framework for mathematical fuzzy logic;Cintula,2011