AN INTRODUCTION TO THE TECHNIQUE OF FORMATIVE PROCESSES IN SET THEORY (HB 2018)

Cantone, Domenico; Ursino, Pietro

ISBN 10: 3319747770 / ISBN 13: 9783319747774

Edité par Springer, 2018

A propos de cet article

Print on Demand.

N° de réf. du vendeur 370858862

Détails bibliographiques

• Titre: AN INTRODUCTION TO THE TECHNIQUE OF FORMATIVE PROCESSES IN SET THEORY (HB 2018)
• Éditeur: Springer
• Date de parution: 2018
• Langue: anglais
• ISBN à 10 chiffres: 3319747770
• ISBN à 13 chiffres: 9783319747774
• Reliure: Couverture rigide
• État de l'article: New

A propos de ce titre

Synopsis

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.

À propos de l?auteur

Domenico Cantone is a professor at the Università di Catania. He has been a visiting professor at New York University, Stanford University, ICSI (Berkeley), and Karlsruhe. His interests include mathematical and computer science logic, in particular set theory. Pietro Ursino is a lecturer at the Università dell'Insubria, his interests include mathematical logic.