An Introduction to the Technique of Formative Processes in Set Theory
Cantone, Domenico, Ursino, Pietro
ISBN 10: 3319892835 ISBN 13: 9783319892832
Edité par Springer, 2019
Neuf(s)
Couverture souple
Vendeur
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 27 février 2001
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
2019. Paperback. . . . . . N° de réf. du vendeur V9783319892832
Synopsis :
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.
À 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.
Détails bibliographiques
Titre : An Introduction to the Technique of ...
Éditeur : Springer
Date d'édition : 2019
Reliure : Couverture souple
Etat : New
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
An Introduction to the Technique of Formative Processes in Set Theory
Edité par
Springer International Publishing, 2019
ISBN 10 : 3319892835
ISBN 13 : 9783319892832
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 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
Quantité disponible : Plus de 20 disponibles
Image d'archives
An Introduction to the Technique of Formative Processes in Set Theory
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020111757
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
An Introduction to the Technique of Formative Processes in Set Theory
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
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
An Introduction to the Technique of Formative Processes in Set Theory
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
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
An Introduction to the Technique of Formative Processes in Set Theory
Edité par
Springer International Publishing Jun 2019, 2019
ISBN 10 : 3319892835
ISBN 13 : 9783319892832
Neuf
Taschenbuch
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
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Introduction to the Technique of Formative Processes in Set Theory
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 35858885-n
Quantité disponible : 15 disponible(s)
Image d'archives
An Introduction to the Technique of Formative Processes in Set Theory (Paperback)
Edité par
Springer International Publishing AG, Cham, 2019
ISBN 10 : 3319892835
ISBN 13 : 9783319892832
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783319892832
Quantité disponible : 1 disponible(s)
Image d'archives
An Introduction to the Technique of Formative Processes in Set Theory
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
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to the Technique of Formative Processes in Set Theory
Edité par
Springer, 2019
ISBN 10 : 3319892835
ISBN 13 : 9783319892832
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 35858885
Quantité disponible : 15 disponible(s)
Image d'archives
An Introduction to the Technique of Formative Processes in Set Theory
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 154. N° de réf. du vendeur 26375807001
Quantité disponible : 4 disponible(s)