Colloque international systemes logiques conception et applications= International symposium design and applications of logical systems : actes: proceedings (Edition de lʹ Association Internationale pour le Calcul Analogique, 1969)