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 logic835399UNISA02010nam0 22004213i 450 PUV008736520251003044310.0026219299320080128d1990 ||||0itac50 baengusz01i xxxe z01nˆAn ‰introduction to text processingPeter D. SmithCambridge (Mass.) [etc.]Mit press1990XII, 300 p.24 cmACM doctoral dissertation award and distinguished dissertation series001PUV01005742001 ACM doctoral dissertation award and distinguished dissertation seriesScritturaElaborazione elettronicaFIRCFIC004001E005.52PROGRAMMI DI APPLICAZIONE GENERALE. SCRITTURA ELETTRONICA14005.52PROGRAMMI DI APPLICAZIONE GENERALE. Scrittura elettronica22Elaborazione di datiElaborazione datiElaborazione dei datiElectronic data processingData processingTrattamento elettronico dei datiElaborazione elettronica dei datiElaborazione elettronicaElaborazione di datiElaborazione elettronicaElaborazione datiElaborazione elettronicaElaborazione dei datiElaborazione elettronicaElectronic data processingElaborazione elettronicaData processingElaborazione elettronicaTrattamento elettronico dei datiElaborazione elettronicaElaborazione elettronica dei datiSmith, Peter Desmond <1950- >PUVV061876070771384ITIT-00000020080128IT-BN0095 NAP 01SALA DING $PUV0087365Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.52 SMI.in 0102 0000008625 VMA A4 1 v.Y 2008012820080128 01Introduction to text processing1574076UNISANNIO