Henkin Leon Logical systems containing only a finite number os symbols - Montreal University De Montreal 1967 - 52p. cm. Standard No.: 19665 Source: Textual Dewey Class. No.: B2:(R1), K7