Crosilla - From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Crosilla

ISBN: 0198566514
Vydavateľstvo: Oxford UP
Rok vydania: 2005
Dostupnosť: Na objednávku

Pôvodná cena: 0,00 €
Cena: Na vyžiadanie

Nárok na dopravu zdarma
Pridať do wishlistu
Späť Tlačiť Pošli dopyt
This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic 42.