Lógica, fundamentos, geometría y autómatas en el dominio de los topos
Verlag: Centro de Cálculo ; Universidad Complutense de Madrid
ISBN: 84-600-0531-3
Datum der Publikation: 1976
Seiten: 159-176
Kongress: Coloquio sobre Lógica Simbólica (1. 1975. Madrid)
Art: Konferenz-Beitrag