Recursive Functions and Constructive Mathematics
Kapitel i bok, 2014
NTS G
History & Philosophy Of Science
P385
JOURNAL OF SYMBOLIC LOGIC
V56
1991
Författare
Thierry Coquand
Göteborgs universitet
Logic, Epistemology, and the Unity of Science
22149775 (ISSN) 22149783 (eISSN)
Vol. 34Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-94-017-9217-2_6