Algebra of proofs /

41

Bibliographic Details
Main Author: 349024 Szabo, M. E.
Format:
Published: Amsterdam: North-Holland, 1978
Subjects: