๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Formalized Recursive Functionals and Formalized Realizability

โœ Scribed by Stephen C. Kleene


Publisher
Amer Mathematical Society
Year
1969
Tongue
English
Leaves
110
Series
Memoirs AMS 89
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Subjects


Mathematics;Applied;Geometry & Topology;History;Infinity;Mathematical Analysis;Matrices;Number Systems;Popular & Elementary;Pure Mathematics;Reference;Research;Study & Teaching;Transformations;Trigonometry;Science & Math;Mathematics;Algebra & Trigonometry;Calculus;Geometry;Statistics;Science & Mathematics;New, Used & Rental Textbooks;Specialty Boutique


๐Ÿ“œ SIMILAR VOLUMES