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
Nyckelord: Computer Science, Theory of Computation, Mathematics of Computing, Mathematical Logic and Foundations, Algebra
- Författare
- Alexandru, Andrei
- Ciobanu, Gabriel
- Utgivare
- Springer
- Utgivningsår
- 2016
- Språk
- en
- Utgåva
- 1
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783319422824
- Tryckt ISBN
- 978-3-319-42281-7