Mostrar el registro sencillo del ítem
Una axiomatización de la lógica de primer orden de identidad
dc.contributor.advisor | Dou Mas de Xexas, Alberto | |
dc.contributor.author | González García, Antonio | |
dc.contributor.other | Química, Facultad de | spa |
dc.date.accessioned | 2022-12-02T11:18:45Z | |
dc.date.available | 2022-12-02T11:18:45Z | |
dc.date.issued | 1973 | |
dc.identifier.uri | http://hdl.handle.net/10651/65683 | |
dc.format.extent | 112 p. | spa |
dc.language.iso | spa | spa |
dc.title | Una axiomatización de la lógica de primer orden de identidad | spa |
dc.type | doctoral thesis | spa |
dc.local.notes | Tesis 1973-015 |
Ficheros en el ítem
Ficheros | Tamaño | Formato | Ver |
---|---|---|---|
No hay ficheros asociados a este ítem. |
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Tesis [7669]
Tesis doctorales leídas en la Universidad de Oviedo