Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Buch | Kapitel
Foundations for computable topology
pp. 265-310
Abstrakt
Foundations should be designed for the needs of mathematics and not vice versa. We propose a technique for doing this using the correspondence between category theory and logic and is potentially applicable to several mathematical disciplines.
Publication details
Published in:
Sommaruga Giovanni (2011) Foundational theories of classical and constructive mathematics. Dordrecht, Springer.
Seiten: 265-310
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-94-007-0431-2_14
Referenz:
Taylor Paul (2011) „Foundations for computable topology“, In: G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, 265–310.