LEADER 00951nam--2200325---450-
001 990003219930203316
005 20090417095747.0
035   $a000321993
035   $aUSA01000321993
035   $a(ALEPH)000321993USA01
035   $a000321993
100   $a20090417d1962----km-y0itay50------ba
101   $aeng
102   $aUS
105   $a||||||||001yy
200 1 $aNatural deduction$eThe logical basis of axiom systems$fAnderson John M. and Johnstone Henry W. jr.
210   $aBelmont$cWadsworth Publ. Co.$d1962
215   $aXII, 418 p.$d23 cm
606 0 $aLogica matematica
676   $a511.3
700  1$aANDERSON,$bJohn M.$0157515
701  1$aJOHNSTONE$bHenry W. jr.$0603640
801  0$aIT$bsalbc$gISBD
912   $a990003219930203316
951   $a511.3 AND$b5330/CBS$c511.3$d00216119
959   $aBK
969   $aSCI
979   $aRSIAV6$b90$c20090417$lUSA01$h0957
996   $aNatural deduction$91011313
997   $aUNISA