Lógica, fundamentos, geometría y autómatas en el dominio de los topos
Publisher: Centro de Cálculo ; Universidad Complutense de Madrid
ISBN: 84-600-0531-3
Year of publication: 1976
Pages: 159-176
Congress: Coloquio sobre Lógica Simbólica (1. 1975. Madrid)
Type: Conference paper