Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
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. s. 289-314.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Harvard
Grue, K 2001, Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305. i Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Kluwer Academic Publishers, Dordrecht, s. 289-314.
APA
Grue, K. (2001). Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305. I Logic, Meaning and Computation, Essays in Memory of Alonzo Church (s. 289-314). Kluwer Academic Publishers.
Vancouver
Grue K. Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305. I Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. 2001. s. 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