Truth, proof and infinity : a theory of constructions and constructive reasoning
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Alemán |
| Publicado: |
Dordrecht [etc.] :
Kluwer Academic
[1998]
|
| Colección: | Synthese library ;
276 |
| Descripción Física: | IX, 469 p. ; 24 cm |
|---|---|
| ISBN: | 9780792352624 |
