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
154
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783319892832: An Introduction to the Technique of Formative Processes in Set Theory

Edition présentée

ISBN 10 :  3319892835 ISBN 13 :  9783319892832
Editeur : Springer, 2019
Couverture souple