The nuts and bolts of proofs /
Cupillari, Antonella.
Belmont, Calif. : Wadsworth Pub. Co.,
c1989.
Bibliography: p. 130-131.
Proof theory.