![Function / Injective function / Constructible universe / Computability theory / Μ-recursive function / Fréchet derivative / Mathematics / Mathematical analysis / Functions and mappings Function / Injective function / Constructible universe / Computability theory / Μ-recursive function / Fréchet derivative / Mathematics / Mathematical analysis / Functions and mappings](https://www.pdfsearch.io/img/615b4220dc01548dbe41d5487bdae35e.jpg) Date: 2014-03-05 10:47:18Function 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.Download Document from Web Archive File Size: 295,72 KB
|