Recursive Functions and Constructive Mathematics
Paper i proceeding, 2014
V56
P385
NTS G
1991
History & Philosophy Of Science
JOURNAL OF SYMBOLIC LOGIC
Författare
Thierry Coquand
Göteborgs universitet
CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-94-017-9217-2_6
ISBN
978-94-017-9217-2