Logical systems containing only a finite number os symbols - Henkin Leon (Montreal University De Montreal, 1967)