The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s

Labyrinth of Thought A History of Set Theory and Its Role in Modern Mathematics

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

An ontological and epistemological perspective of fuzzy set theory

Set theory and its philosophy a critical introduction

Computational quantum chemistry an interactive guide to basis set theory

Orders--description and roles in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982

Set theory with an introduction to descriptive set theory

Topology and Borel structure descriptive topology and set theory with applications to functional analysis and measure theory

Concise Guide to Software Verification From Model Checking to Annotation Checking

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings