Normal view
MARC view
Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster(Personal Name)
Machine generated authority record
Work cat.: (OSt)1642577: Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster, Mathesis Universalis, Computability and Proof