Algebra of proofs - Szabo M E (Amsterdam North-Holland, 1978)
Keywords: Combinatory logic; Mathematical logic; Proof theory