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: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020111757
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 # ria9783319892832_new
Quantity: Over 20 available
Seller Image
An Introduction to the Technique of Formative Processes in Set Theory
Published by
Springer International Publishing Jun 2019, 2019
ISBN 10: 3319892835
ISBN 13: 9783319892832
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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 # 9783319892832
Quantity: 2 available
Stock Image
An Introduction to the Technique of Formative Processes in Set Theory
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 154. Seller Inventory # 26375807001
Quantity: 4 available
Seller Image
An Introduction to the Technique of Formative Processes in Set Theory
Published by
Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3319892835
ISBN 13: 9783319892832
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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 # 9783319892832
Quantity: 1 available
Stock Image
An Introduction to the Technique of Formative Processes in Set Theory
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 154. Seller Inventory # 370271174
Quantity: 4 available
Stock Image
An Introduction to the Technique of Formative Processes in Set Theory
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 168 pages. 9.25x6.10x0.59 inches. In Stock. Seller Inventory # x-3319892835
Quantity: 2 available
Stock Image
An Introduction to the Technique of Formative Processes in Set Theory
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 154. Seller Inventory # 18375806995
Quantity: 4 available
Seller Image
An Introduction to the Technique of Formative Processes in Set Theory
Published by
Springer International Publishing, 2019
ISBN 10: 3319892835
ISBN 13: 9783319892832
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
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 # 294884318
Quantity: Over 20 available
Seller Image
An Introduction to the Technique of Formative Processes in Set Theory
ISBN 10: 3319892835
ISBN 13: 9783319892832
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783319892832
Quantity: 2 available