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