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

Mer information

Senast uppdaterat

2024-07-12