00837nam0-22003131i-450-9900010680004033210-7204-2286-8000106800FED01000106800(Aleph)000106800FED0100010680020000920d1978----km-y0itay50------baengAlgebra of proofsM.E. SzaboAmsterdamNorth-Holland1978xii, 297 p.23 cmStudies in logic and the foundations of mathematicsvol. 88LogicaRicorsività160Szabo,Manfred Egon50846ITUNINARICAUNIMARCBK9900010680004033217-20610795FI1FI1Algebra of proofs340145UNINAING01