Logicism Renewed (Logical Foundations for Mathematics and Computer Science) || Recursions
- 作者Gilmore, Paul C.
- 文件大小277.23KB
- 发表时间2016
- DOI10.1017/9781316755808.005
- 页码99-136
Mirror Focus: Function of Seizure Frequency and Influence on Outcome After SurgeryRobin Gilmore; Harold Morris III; Paul C. Van Ness; Wendy Gilmore-Pollak; Melinda Estes · 1994
Logic, sets, and mathematicsPaul C. Gilmore · 1993
Quantificational logicPaul C. Gilmore · 1960
Fundamentals of Mathematical Logicby Peter G. HinmanReview by: Paul C. Gilmore · SIAM Review · 2006
Letters to the editorC. Vital; M. Coquet; J. P. Mazat; Stephanie J. Valberg; Dewey A. Nelson; Vinay Chaudhry; Thomas O. Crawford; Paul Clouston; William J. Triggs; Robin L. Gilmore; David Burke; Thomas A. Miller; Matthew C. Kiernan; Ilona Mogyoros; Peter K. Stys; Stephen G. Waxman · 1995
An Intensional Type Theory: Motivation and Cut-EliminationPaul C. Gilmore · The Journal of Symbolic Logic · 2001
Logicism Renewed (Logical Foundations for Mathematics and Computer Science) || PrefaceGilmore, Paul C. · 2016
Logicism Renewed (Logical Foundations for Mathematics and Computer Science) || RecursionsGilmore, Paul C. · 2016