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 (SSIF 2011)
Data- och informationsvetenskap
DOI
10.1007/978-94-017-9217-2_6