Authors
Citation
Mr. Holmes, Foundations of mathematics in polymorphic type theory (mathematical philosophy), TOPOI, 20(1), 2001, pp. 29-52
Citations number
28
Categorie Soggetti
Philosiphy
Journal title
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY
ISSN journal
01677411
→ ACNP
Volume
20
Issue
1
Year of publication
2001
Pages
29 - 52
Database
ISI
SICI code
0167-7411(2001)20:1<29:FOMIPT>2.0.ZU;2-8