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 Catálogo Colectivo de las Bibliotecas Agustinianas de España: | http://catalogo.bibliotecasagustinianas.es/cgi-bin/koha/opac-detail.pl?biblionumber=362081 |
