Constructivism in mathematics : an introduction

Detalles Bibliográficos
Autor principal: Troelstra, Anne Sjerp
Otros Autores: Dalen, D. va 1932-, Barwise, J.
Formato: Libro
Lenguaje:English
Publicado: New York : Elsevier Science Pub, 1988.
Colección:Studies in logic and the foundations of mathematics 121, 123 ; v.
Materias:
Matemáticas constructivas.

Ejemplares similares

Ejemplares similares