Login

Cantone, Domenico

An Introduction to the Technique of Formative Processes in Set Theory

Cantone, Domenico - An Introduction to the Technique of Formative Processes in Set Theory, ebook

103,00€

Ebook, PDF with Adobe DRM
ISBN: 9783319747781
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

Part I. Theoretical Apparatus

1. Basics of Set Theory
Domenico Cantone, Pietro Ursino

2. The Decision Problem in Set Theory
Domenico Cantone, Pietro Ursino

3. Formative Processes
Domenico Cantone, Pietro Ursino

Part II. Applications

4. Decidability of MLSSP
Domenico Cantone, Pietro Ursino

5. Decidability of MLSSPF
Domenico Cantone, Pietro Ursino

Keywords: Computer Science, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations

Author(s)
 
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783319747781
Printed ISBN
978-3-319-74777-4

Similar titles