LEADER 01294nlm  2200301 a 450 
001 996453350403316
005 20220121142128.0
010   $a9781118032435
100   $a20080228d2008----  uy             0
101 0 $aeng
102   $aUS
135   $adrcnu
200 1 $aMathematical logic$fGeorge Tourlakis
210 1 $aHoboken$cWiley$d2008
215   $aTesto elettronico (PDF) (XVII, 293 p.)
230   $aBase dati testuale
330   $aUna guida completa e di facile utilizzo all'uso della logica nel ragionamento matematico. La logica matematica presenta un'introduzione completa ai metodi formali della logica e al loro utilizzo come strumento affidabile per il ragionamento deduttivo. Con il suo approccio intuitivo, questo libro fornisce ai lettori con successo i concetti ei metodi chiave per formulare validi argomenti matematici che possono essere utilizzati per scoprire verità in diverse aree di studio come matematica, informatica e filosofia.
606 0 $aLogica matematica$2BNCF
676   $a511.3
700  1$aTOURLAKIS,$bGeorge J$0149747
801  0$bcba$aIT$bcba$gREICAT
801  1$bcba$aIT$bcba$gREICAT
801  2$bcba$aIT$bcba$gREICAT
912   $a996453350403316
959   $aEB
969   $aER
996   $aMathematical logic$9835399
997   $aUNISA