Date: 2014-03-05 10:47:18

Function

Injective function

Constructible universe

Computability theory

Μ-recursive function

Fréchet derivative

Mathematics

Mathematical analysis

Functions and mappings

Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 295,72 KB