Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterHäftad, 20201 298 kr
Problem Posing and Solving for Mathematically Gifted and Interested StudentsDeniz Sarikaya, Lukas Baumanns, Karl Heuer, Benjamin RottHäftad, 20231 261 kr
Foundations of the Formal Sciences IIBenedikt Löwe, Wolfgang Malzkorn, Thoralf RäschInbunden, 20031 083 kr
Reflections on the Foundations of MathematicsStefania Centrone, Deborah Kant, Deniz SarikayaInbunden, 20191 620 kr
Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterInbunden, 20191 298 kr
Reflections on the Foundations of MathematicsStefania Centrone, Deborah Kant, Deniz SarikayaHäftad, 20201 620 kr
Computation and Logic in the Real WorldBarry S. Cooper, Benedikt Löwe, Andrea SorbiHäftad, 20071 115 kr
Classical and New Paradigms of Computation and their Complexity HierarchiesBenedikt Löwe, Boris Piwinger, Thoralf RäschHäftad, 20102 158 kr