Alexandru, Andrei
Finitely Supported Mathematics
1. Introduction
Andrei Alexandru, Gabriel Ciobanu
2. Fraenkel-Mostowski Set Theory: A Framework for Finitely Supported Mathematics
Andrei Alexandru, Gabriel Ciobanu
3. Algebraic Structures in Finitely Supported Mathematics
Andrei Alexandru, Gabriel Ciobanu
4. Extended Fraenkel-Mostowski Set Theory
Andrei Alexandru, Gabriel Ciobanu
5. Process Calculi in Finitely Supported Mathematics
Andrei Alexandru, Gabriel Ciobanu
Keywords: Computer Science, Theory of Computation, Mathematics of Computing, Mathematical Logic and Foundations, Algebra
- Author(s)
- Alexandru, Andrei
- Ciobanu, Gabriel
- Publisher
- Springer
- Publication year
- 2016
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783319422824
- Printed ISBN
- 978-3-319-42281-7