| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996453350403316 |
|
|
Autore |
TOURLAKIS, George J |
|
|
Titolo |
Mathematical logic / George Tourlakis |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
Testo elettronico (PDF) (XVII, 293 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Una 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. |
|
|
|
|
|
|
|
| |