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