Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305. / Grue, Klaus.
Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Dordrecht : Kluwer Academic Publishers, 2001. p. 289-314.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Grue, K 2001, Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305. in Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Kluwer Academic Publishers, Dordrecht, pp. 289-314.
APA
Grue, K. (2001). Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305. In Logic, Meaning and Computation, Essays in Memory of Alonzo Church (pp. 289-314). Kluwer Academic Publishers.
Vancouver
Grue K. Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305. In Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. 2001. p. 289-314
Author
Bibtex
@inbook{976e8c4074c711dbbee902004c4f4f50,
title = "Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305",
author = "Klaus Grue",
year = "2001",
language = "English",
pages = "289--314",
booktitle = "Logic, Meaning and Computation, Essays in Memory of Alonzo Church",
publisher = "Kluwer Academic Publishers",
address = "Netherlands",
}
RIS
TY - CHAP
T1 - Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305
AU - Grue, Klaus
PY - 2001
Y1 - 2001
M3 - Book chapter
SP - 289
EP - 314
BT - Logic, Meaning and Computation, Essays in Memory of Alonzo Church
PB - Kluwer Academic Publishers
CY - Dordrecht
ER -
ID: 171039