| Record ID | marc_loc_2016/BooksAll.2016.part27.utf8:114989389:807 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part27.utf8:114989389:807?format=raw |
LEADER: 00807nam a2200253 a 4500
001 98179467
003 DLC
005 19981007082131.4
008 980805s1997 it a b 000 0 ita
010 $a 98179467
020 $a8846405129
035 $a(OCoLC)39081694
040 $aDLC$cDLC
050 00 $aQA9$b.G186 1997
082 00 $a511.3$221
100 1 $aGalvan, Sergio,$d1946-
245 10 $aNon contraddizione e terzo escluso :$ble regole della negazione nella logica classica intuizionistica e minimale /$cSergio Galvan.
250 $a1. ed.
260 $aMilano, Italy :$bF. Angeli,$cc1997.
300 $a159 p. :$bill. ;$c22 cm.
440 0 $aEpistemologia ;$v61
504 $aIncludes bibliographical references (p. 157-159).
650 0 $aNegation (Logic)
650 0 $aLogic, Symbolic and mathematical.