Lógica, fundamentos, geometría y autómatas en el dominio de los topos
Éditorial: Centro de Cálculo ; Universidad Complutense de Madrid
ISBN: 84-600-0531-3
Année de publication: 1976
Pages: 159-176
Congreso: Coloquio sobre Lógica Simbólica (1. 1975. Madrid)
Type: Communication dans un congrès