Zum Inhalt springen

  1. Mancosu, Paolo [VerfasserIn]

    Bolzano and Cournot on mathematical explanation / Bolzano et Cournot à propos de l'explication mathématique

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Revue d'histoire des sciences ; Vol. 52, n° 3-4, pp. 429-456

  2. Mancosu, Paolo [VerfasserIn]; Galvan, Sergio [VerfasserIn]; Zach, Richard [VerfasserIn]

    An introduction to proof theory : normalization, cut-elimination, and consistency proofs - [First edition.]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oxford: Oxford University Press, 2021

    Erschienen in: Oxford scholarship online