Henkin Leon

Logical systems containing only a finite number os symbols - Montreal University De Montreal 1967 - 52p. cm.

19665

Textual

B2:(R1), K7