An Introduction to the Technique of Formative Processes in Set Theory

• Κύριοι συγγραφείς: Cantone, Domenico (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Ursino, Pietro (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Mathematical logic.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is...