Foundations of constructive mathematics : metamathematical studies /
Autor principal: | Beeson, Michael J. (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
c1985.
|
Materias: |
Ejemplares similares
-
Modèles en Arithmétique Bornée /
por: Chinchilla, Eugenio, et al.
Publicado: (2001) -
Pratica : proofs, types and categories /
por: Hermann Haeusler, Edward
Publicado: (1999) -
Condition assessment of unbonded post-tensioning strands.
por: Puri, Sunil -
The Foundation of Mathematics
por: Heerden, Pieter J. Van
Publicado: (1968) -
Concrete houses alive and well after more than 80 years.
por: Hurd, M. K.