LEADER 00837nam0-22003131i-450-
001 990001068000403321
010   $a0-7204-2286-8
035   $a000106800
035   $aFED01000106800
035   $a(Aleph)000106800FED01
035   $a000106800
100   $a20000920d1978----km-y0itay50------ba
101 0 $aeng
200 1 $aAlgebra of proofs$fM.E. Szabo
210   $aAmsterdam$cNorth-Holland$d1978
215   $axii, 297 p.$d23 cm
225 1 $aStudies in logic and the foundations of mathematics$vvol. 88
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aSzabo,$bManfred Egon$050846
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001068000403321
952   $a7-206$b10795$fFI1
959   $aFI1
996   $aAlgebra of proofs$9340145
997   $aUNINA
DB    $aING01