biblioest, Università degli Studi di Trieste e delle provincie del Friuli Venezia Giulia, Sebina, biblioteca, opac, catalogo biblioteca, Friuli, Regione Friuli, biblioteche del Friuli Venezia Giulia, Catalogo biblioteca, Prestito libri, prestito ebook, reteindaco
Lo studio della logica, come quello di ogni altro tipo di disciplina, richiede lo svolgimento continuo di esercizi. Occorre cimentarsi con modelli, schemi e strategie di risoluzione. Lo scopo di questo libro è guidare il lettore all'uso della deduzione naturale enunciativa e predicativa.
[...]
Il testo presenta il metodo delle derivazioni elaborato da Frederick Fitch, particolarmente perspicuo ed efficace dal punto di vista didattico. Gli esercizi sono svolti passo dopo passo per fare in modo che il lettore acquisti dimestichezza con il ragionamento formale e infine sia in grado di procedere da solo.
