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

Cantone, Domenico; Ursino, Pietro

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

Couverture souple

ISBN 10 : 3319892835 ISBN 13 : 9783319892832

Editeur : Springer, 2019

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

10 Neuf

De EUR 48,37

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems.

All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic.

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
Date d'�dition: 2019
Langue: anglais
ISBN 10: 3319892835
ISBN 13: 9783319892832
Reliure: Broch�
Nombre de pages: 168
Coordonn�es du fabricant: non disponible

Acheter neuf

Afficher cet article

EUR 48,37

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

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

Edition pr�sent�e

ISBN 10 : 3319747770 ISBN 13 : 9783319747774
Editeur : Springer International Publishin..., 2018
Couverture rigide

R�sultats de recherche pour An Introduction to the Technique of Formative Processes...

Image fournie par le vendeur

An Introduction to the Technique of Formative Processes in Set Theory

Domenico Cantone|Pietro Ursino

Edit� par Springer International Publishing, 2019

ISBN 10 : 3319892835 ISBN 13 : 9783319892832

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Various techniques have been developed to solve the satisfiability problem for increasingly complex fragments of set theoryFormative processes technique allows the solution of challenging decidability problems in computable set theoryApprop. N� de r�f. du vendeur 294884318

Contacter le vendeur

Acheter neuf

EUR 48,37

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

An Introduction to the Technique of Formative Processes in Set Theory

Pietro Ursino

Edit� par Springer International Publishing, Springer International Publishing, 2019

ISBN 10 : 3319892835 ISBN 13 : 9783319892832

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems.All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic. N� de r�f. du vendeur 9783319892832

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

An Introduction to the Technique of Formative Processes in Set Theory

Pietro Ursino

Edit� par Springer International Publishing Jun 2019, 2019

ISBN 10 : 3319892835 ISBN 13 : 9783319892832

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems.All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic. 168 pp. Englisch. N� de r�f. du vendeur 9783319892832

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

An Introduction to the Technique of Formative Processes in Set Theory

Cantone, Domenico; Ursino, Pietro

Edit� par Springer, 2019

ISBN 10 : 3319892835 ISBN 13 : 9783319892832

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319892832_new

Contacter le vendeur

Acheter neuf

EUR 61,44

Autre devise

Frais de port : EUR 4,68

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

An Introduction to the Technique of Formative Processes in Set Theory

Pietro Ursino

Edit� par Springer International Publishing, Springer International Publishing Jun 2019, 2019

ISBN 10 : 3319892835 ISBN 13 : 9783319892832

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems.All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch. N� de r�f. du vendeur 9783319892832

Contacter le vendeur