Articles liés à An Introduction to the Technique of Formative Processes...

An Introduction to the Technique of Formative Processes in Set Theory - Couverture rigide

Cantone, Domenico; Ursino, Pietro

 
9783319747774: An Introduction to the Technique of Formative Processes in Set Theory
Couverture rigide
ISBN 10 : 3319747770 ISBN 13 : 9783319747774
Editeur : Springer International Publishing AG, 2018

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À 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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer International Publishing AG
Date d'édition
2018
Langue
anglais
ISBN 10 
3319747770
ISBN 13 
9783319747774
Reliure
Relié
Numéro d'édition
1
Nombre de pages
166
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne