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