Normal view
MARC view
Combinatory logic. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Szabo, M. E. 308383, Algebra of proofs /, 1978.