Cours de logique mathématique sémantique. Tome 1
par R. Fraïssé.
[Paris?] : Centre National de la Recherche Scientifique, Institut Blaise Pascal, Laboratoire de Calcul Numérique, 1962.
19 págs. ; 27 cm.
Serie: Logique à l'usage du calculateur ; 2
Título de la cubierta.
Incluye un bloque suelto de 9 p. con ejercicios.