Death and the regeneration of life || Introduction: death and the regeneration of life
- 作者Bloch, Maurice; Parry, Jonathan
- 期第1期
- 文件大小2666.75KB
- 发表时间1982
- DOI10.1017/CBO9780511607646.002
- 页码1-44
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