Título: | Primitive recursive algebraic theories and program schemes |
Autores: | Kühnel, W. ; Meseguer Guaita, José ; Pfender, Michael ; Sols, Ignacio |
Tipo de documento: | texto impreso |
Editorial: | Cambridge University Press, 1977 |
Dimensiones: | application/pdf |
Nota general: | info:eu-repo/semantics/restrictedAccess |
Idiomas: | |
Palabras clave: | Estado = Publicado , Materia = Ciencias: Matemáticas: Teoría de conjuntos , Tipo = Artículo |
En línea: | https://eprints.ucm.es/id/eprint/21721/1/Sols34.pdf |
Ejemplares
Estado |
---|
ningún ejemplar |