Logicism Renewed : Logical Foundations for Mathematics and Computer Science
| Autor principal: | |
|---|---|
| Formato: | Otros |
| Publicado: |
Natick, Mass
Association for Symbolic Logic: A.K. Peters
2005
|
| Colección: | Lecture Notes in Logic
23 |
| Materias: | |
| Ver en Biblioteca Conventual de El Escorial: | http://catalogo.bibliotecasagustinianas.es/cgi-bin/koha/opac-detail.pl?biblionumber=362081 |
| Descripción Física: | xvii, 230 p. 24 cm |
|---|
