Sistemas deductivos tipo Gentzen problemas de lógica de primer orden
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
Madrid :
Ediciones de la Universidad Autónoma de Madrid
D.L. 1988.
|
| Colección: | Cuadernos de apoyo (2000)
|
| Materias: | |
| Ver en Biblioteca de la Universidad Pontificia de Salamanca: | https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=14703 |
Solicitar por préstamo interbibliotecario:
Correo
| Formulario
| Descripción Física: | 88 p. |
|---|---|
| ISBN: | 9788474771350 |
