Búsqueda

Resultados 1 - 3 de 3
Número de resultados a mostrar por páginas

Resultados de búsquedas

1. From Sets and Types to Topology and Analysis. Towards practicable foundations for constructive mathematics
L. Crosilla et al
Oxford University Press
E-ISBN: 9780191713927 ISBN: 9780198566519
2. Set Theory. Boolean-Valued Models and Independence Proofs
J. Bell
Oxford University Press
E-ISBN: 9780191717581 ISBN: 9780198568520
3. Interpolation and Definability. Modal and Intuitionistic Logics
D. M. Gabbay et al
Oxford University Press
E-ISBN: 9780191705779 ISBN: 9780198511748