ISBN13: 9783319892832 ISBN10: 3319892835 All Product Details
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.