Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
详细信息 查看全文
- ContentType：Book Chapter
- DOI：10.1007/978-94-007-4435-6_15
- Publisher：Springer Netherlands
- Author ：P. Dybjer ; Sten Lindström ; Erik Palmgren ; G. Sundholm
- PrintIssn_Isbn：978-94-007-4434-9
- OnlineIssn_Isbn：978-94-007-4435-6
- SubjectCategory：Humanities ; Social Sciences and Law
- Copyright：2012
- SeriesParentPublication：Epistemology versus Ontology
- Volume：27
- Pages：=313-349