Items related to An Introduction to the Technique of Formative Processes...
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for An Introduction to the Technique of Formative Processes...
Stock Image
An Introduction to the Technique of Formative Processes in Set Theory.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 4 out of 5 stars
xii, 154 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 12480DB
Quantity: 1 available
Seller Image
Introduction to the Technique of Formative Processes in Set Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30931029-n
Quantity: Over 20 available
Stock Image
An Introduction to the Technique of Formative Processes in Set Theory
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319747774_new
Quantity: Over 20 available
Seller Image
Introduction to the Technique of Formative Processes in Set Theory
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 30931029
Quantity: Over 20 available
Seller Image
An Introduction to the Technique of Formative Processes in Set Theory
Published by
Springer International Publishing Feb 2018, 2018
ISBN 10: 3319747770
ISBN 13: 9783319747774
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9783319747774
Quantity: 2 available
Seller Image
An Introduction to the Technique of Formative Processes in Set Theory
Published by
Springer International Publishing, 2018
ISBN 10: 3319747770
ISBN 13: 9783319747774
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9783319747774
Quantity: 1 available
Seller Image
Introduction to the Technique of Formative Processes in Set Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30931029-n
Quantity: Over 20 available
Seller Image
An Introduction to the Technique of Formative Processes in Set Theory
Published by
Springer International Publishing, 2018
ISBN 10: 3319747770
ISBN 13: 9783319747774
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: 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. Seller Inventory # 203385920
Quantity: Over 20 available
Seller Image
Introduction to the Technique of Formative Processes in Set Theory
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 30931029
Quantity: Over 20 available
Stock Image
AN INTRODUCTION TO THE TECHNIQUE OF FORMATIVE PROCESSES IN SET THEORY (HB 2018)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 370858862
Quantity: 4 available