LEADER 01093nam a2200313 i 4500
001 991000744789707536
005 20020507173031.0
008 950726s1982    us            ||| | eng  
020   $a0198531737
035   $ab10751385-39ule_inst
035   $aLE01301649$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03B05
084   $aQA9.3
100 1 $aSegerberg, Krister$048751
245 10$aClassical propositional operators :$ban exercise in the foundations of logic /$cby Krister Segerberg
260   $aOxford :$bClarendon Press,$c1982
300   $ax, 151 p. ;$c24 cm.
490 0 $aOxford logic guides ;$v5
500   $aBibliography: p. [143]-144.
500   $aIncludes indexes
650  4$aPropositional calculus
907   $a.b10751385$b23-02-17$c28-06-02
912   $a991000744789707536
945   $aLE013 03B SEG11 (1982)$g1$i2013000033068$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10844429$z28-06-02
996   $aClassical propositional operators$9911501
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gus $h0$i1