LEADER 01299nam a2200289 u 4500 001 000000079259 003 CaOOAMICUS 005 20070226123523.0 008 040528s1997 it ad u000 u ita u 020 $a8846405129 035 $a10997198 040 $aPUL$bita 100 1 $aGalvan, Sergio.$0(OLS)http://pul/name/36841 245 10$aNon contraddizione e terzo escluso :$ble regole della negazione nella logica classica intuizionista e minimale /$cdi Sergio Galvan. 260 $aMilano :$bFrancoAngeli,$cc1997. 300 $a159 p. :$bill., diagr. ;$c22 cm 490 1 $aEpistemologia ; 504 $aBibliografia in appendice. 650 4$aLogica.$0(OLS)http://pul/subject/441 830 0$aEpistemologia ;.$0(OLS)http://pul/title/103777 830 0$aEpistemologia (F. Angeli) ;$v61.$0(OLS)http://pul/title/55778 850 $aPUL 852 $aPUL$W1$xSL Filosofia 3$y81$m160 GALSE 2$j101462$nBK-PRI$b $qDDC 21$B101462$CPULBib$Z2$F101462 $HPUL95203 $81 941 1 $a9 996 $6020$a8846405129$9(OLS)http://pul/number/104111 996 $6245$aNon contraddizione e terzo escluso :$ble regole della negazione nella logica classica intuizionista e minimale$9(OLS)http://pul/title/103776 996 $6260$aMilano :$bFrancoAngeli$9(OLS)http://pul/publisher/66898