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
Vydavatelství: Oxford UP
Rok vydání: 2005
Dostupnost: Na objednávku

Původní cena: 0 Kč
Cena: Na vyžádání

Nárok na dopravu zdarma
Přidat do wishlistu
Zpět Tisknout Pošli poptávku
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.