Teorías recursivas, creativas y productivas
Editorial: Centro de Cálculo ; Universidad Complutense de Madrid
ISBN: 84-600-0531-3
Año de publicación: 1976
Páginas: 51-66
Congreso: Coloquio sobre Lógica Simbólica (1. 1975. Madrid)
Tipo: Aportación congreso