Cargando…

Metamathematical investigation of intuitionistic arithmetic and analysis

Detalles Bibliográficos
Autor principal: Troelstra, A
Lenguaje:eng
Publicado: Springer 1973
Materias:
Acceso en línea:https://dx.doi.org/10.1007/BFb0066739
http://cds.cern.ch/record/1690928