Cantone, Domenico
An Introduction to the Technique of Formative Processes in Set Theory
Part I. Theoretical Apparatus
1. Basics of Set Theory
Domenico Cantone, Pietro Ursino
2. The Decision Problem in Set Theory
Domenico Cantone, Pietro Ursino
3. Formative Processes
Domenico Cantone, Pietro Ursino
Part II. Applications
4. Decidability of MLSSP
Domenico Cantone, Pietro Ursino
5. Decidability of MLSSPF
Domenico Cantone, Pietro Ursino
Keywords: Computer Science, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- Author(s)
- Cantone, Domenico
- Ursino, Pietro
- Publisher
- Springer
- Publication year
- 2018
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783319747781
- Printed ISBN
- 978-3-319-74777-4