Departamento
LÓGICA, HISTORIA Y F.ª DE LA CIENCIA
Aportaciones congreso (2) Publicaciones en las que ha participado algún/a investigador/a
1992
-
A (new) constructive proof of (known) interpolation for relevant system LR
Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991)
-
Individualismo metodológico e intenciones colectivas
Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)