Foundations of constructive mathematics : metamathematical studies /
Main Author: | Beeson, Michael J. (Author, Autor/a) |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlín :
Springer,
c1985.
|
Subjects: |
Similar Items
-
Modèles en Arithmétique Bornée /
by: Chinchilla, Eugenio, et al.
Published: (2001) -
Pratica : proofs, types and categories /
by: Hermann Haeusler, Edward
Published: (1999) -
Condition assessment of unbonded post-tensioning strands.
by: Puri, Sunil -
Matemáticas e internet / Fidela Velázquez ( coord)
by: Velázquez, Fidela
Published: (2004) -
Concrete houses alive and well after more than 80 years.
by: Hurd, M. K.