Choiceless computation and logic

Aachen (2019, 2020) [Doktorarbeit]

Seite(n): 1 Online-Ressource (182 Seiten) : Illustrationen

Autorinnen und Autoren

Autorinnen und Autoren

Schalthöfer, Svenja

Gutachterinnen und Gutachter

Grädel, Erich
Dawar, Anuj