Algebra of proofs [E-Book] / edited by M.E. Szabo.
Szabo, M. E.
Amsterdam ; New York : New York : North-Holland Pub. Co. ; 1978
Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
1 online resource (xii, 297 p.)
englisch
9780720422863
0080954979
0720422868
9780080954974
Studies in logic and the foundations of mathematics ; v. 88
Full Text
Description not available.