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
Avainsanat: Computer Science, Theory of Computation, Mathematics of Computing, Mathematical Logic and Foundations, Algebra
- Tekijä(t)
- Alexandru, Andrei
- Ciobanu, Gabriel
- Julkaisija
- Springer
- Julkaisuvuosi
- 2016
- Kieli
- en
- Painos
- 1
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319422824
- Painetun ISBN
- 978-3-319-42281-7