Sciweavers

CORR
2008
Springer

Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

13 years 3 months ago
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory
Robin Adams, Zhaohui Luo
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Robin Adams, Zhaohui Luo
Comments (0)