From sets and types to topology and analysis: towards practicable foundations for constructive mathematics
Éditeur :
Oxford University Press
ISBN :
9780198566519
Date de publication :
6 oct. 2005
Dimensions :
24,2 x 16,2 x 2,6 cm
Poids :
691 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.