Advances in natural deduction : A Celebration of Dag Prawitz's Work.
Formato: | Libro |
---|---|
Acceso en línea: | Ver documento en línea |
LEADER | 00439nam a2200109 a 4500 | ||
---|---|---|---|
001 | 000650742 | ||
005 | 20210830151456.0 | ||
008 | 210830 gr |||||| d | ||
020 | |a 9789400775480 |q (ebook) | ||
040 | |a Sistema de Bibliotecas de la Universidad de Costa Rica | ||
245 | 1 | 0 | |a Advances in natural deduction : |b A Celebration of Dag Prawitz's Work. |
856 | 4 | 1 | |u https://springerlink.proxyucr.elogim.com/book/10.1007/978-94-007-7548-0 |y Ver documento en línea |