Variables sintácticas (negación) de congruencia y de tarea en la verificación de enunciados
ISSN: 0373-2002
Datum der Publikation: 1981
Ausgabe: 36
Nummer: 1
Seiten: 1-34
Art: Artikel
ISSN: 0373-2002
Datum der Publikation: 1981
Ausgabe: 36
Nummer: 1
Seiten: 1-34
Art: Artikel