Intensional Logic in Extensional Languag
π Fiction
β¦ LIBER β¦
π
Concerning Carnap's Definition of 'Extensional' and 'Intensional'
- Category
- Fiction
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Extensional Constructs in Intensional Ty
β Martin Hofmann PhD (auth.)
π Library
π
1997
π Springer-Verlag London
π English
<p><B>Extensional Constructs in Intensional Type Theory</B> presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theorie
Intensional logic and the metaphysics of
β Edward N. Zalta
π Library
π
1988
π The MIT Press
π English
Introduction to Metalogic: With an Appen
β Imre Ruzsa
π Library
π
1997
π Γron publishers
π English
Introduction to Metalogic: With an Appen
β Imre Ruzsa
π Library
π
1997
π Γron Publishers, Hungary
π English
De vocis intentione, extensione modo in
π Library
π
1837
π De Gruyter
π Latin