An Introduction to the Technique of Formative Processes in Set Theory

by Pietro Ursino and Domenico Cantone

Book Overview

Part I: Theoretical Apparatus.- Basics of Set Theory.- The Decision Problem in Set Theory.- Formative Processes.- Part II: Applications.- Decidability of MLSSP.- Decidability of MLSSPF.

• Format: Hardcover
• Language: English
• ISBN: 3319747770
• ISBN13: 9783319747774
• Release Date: February 2018
• Publisher: Springer
• Length: 154 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"