Cargando…

Constructivism in mathematics

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.The publication first takes a look at the topology of metric s...

Descripción completa

Detalles Bibliográficos
Autores principales: Troelstra, AS, van Dalen, D
Lenguaje:eng
Publicado: Elsevier 1988
Materias:
Acceso en línea:http://cds.cern.ch/record/2009936