Recursive Functions and Constructive Mathematics
Book chapter, 2014

NTS G

History & Philosophy Of Science

P385

JOURNAL OF SYMBOLIC LOGIC

V56

1991

Author

Thierry Coquand

University of Gothenburg

Logic, Epistemology, and the Unity of Science

22149775 (ISSN) 22149783 (eISSN)

Vol. 34

Subject Categories

Computer and Information Science

DOI

10.1007/978-94-017-9217-2_6

More information

Latest update

7/12/2024