Algebra of proofs /
M. E. Szabo
- Amsterdam : North-Holland Pub., 1978
- xii, 297 p. ; 23 cm.
- Studies in logic and the foundations of mathematics ; v. 88 .
Includes index
Bibliography: p. 278-284
0720422868 0720422000 : f 100.00
Proof theory Categories (Mathematics) Combinatory logic