Algebra of proofs

Name: Algebra of proofs
Author: M. E. Szabo

by M. E. Szabo · 1 review · 1982

Reviewed by	Journal	Date	Access
G. E. Minc	The Journal of Symbolic Logic	1982	Restricted

Also by Szabo