01294nlm 2200301 a 450 99645335040331620220121142128.0978111803243520080228d2008---- uy 0engUSdrcnuMathematical logicGeorge TourlakisHobokenWiley2008Testo elettronico (PDF) (XVII, 293 p.)Base dati testualeUna 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.Logica matematicaBNCF511.3TOURLAKIS,George J149747cbaITcbaREICATcbaITcbaREICATcbaITcbaREICAT996453350403316EBERMathematical logic835399UNISA