Download, cultura e intrattenimento
Gabriele Lolli - Introduzione alla logica formale (1991) PDF Gli argomenti trattati in questo libro costituiscono una introduzione alla disciplina che nella letteratura si trova chiamata indifferentemente con vari nomi: logica matematica, o logica simbolica, o logica formale. I tre aggettivi sono
Kurt Gödel - Opere. Vol.3. Saggi inediti e conferenze (2006) PDF Kurt Gödel è autore di un'opera che ha influenzato gli sviluppi successivi della logica nonché l'ulteriore riflessione sui fondamenti della matematica. I risultati che lo hanno reso famoso sono la completezza semantica del
Kurt Gödel - Opere. Vol.2. 1938-1974 (2002) PDF I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi assiomatici contenenti l'aritmetica (il cosiddetto 'teorema d'incompletezza di Gödel'), infine la
Kurt Gödel - Opere. Vol.1. 1929-1936 (1999) PDF Kurt Godel è autore di un'opera che ha influenzato praticamente tutti gli sviluppi successivi della disciplina nonché tutta l'ulteriore riflessione sui fondamenti della matematica. Le note introduttive ai singoli testi permettono di
Roberto Giovanni Timossi - Prove logiche dell'esistenza di Dio da Anselmo d'Aosta a Kurt Gödel. Storia critica degli argomenti ontologici (2005) PDF L'intento del presente saggio è quello di rendere accessibile ai lettori uno degli argomenti più dibattuti e suggestivi del pensiero
Deborah Fasola - Now or never (2019) Formato:EPUB Un piccolo volo, cari lettori, un volo fatto di versi e di pezzi del mio cuore. In questo mio lungo e bellissimo cammino di rinascita, verso quell’amore, soprattutto per la vita, che mi attende e che prima o poi arriverà. Perché rinascere è
Simona Liubicich - Ossessione color cremisi (2015) Epub - Mobi Londra, 1888 - Nessuna donna può dirsi al sicuro, mentre le gelide nebbie invadono le strade della metropoli sulle riva del Tamigi. Né le più sfortunate, nei vicoli di Whitechapel, dove la minaccia di Jack lo Squartatore si annida
Geronimo Stilton - Grande mistero al megastore (2019) Formato: EPUB È il giorno dell'inaugurazione, ma al megastore di Topazia non funziona nulla! Le luci non si accendono, lo stereo è rotto, le porte non si aprono! Devo scoprire subito che cosa sta succedendo!
Geronimo Stilton - Barzellette da record (2019) Formato: EPUB A Topazia sta per avere inizio il Gran Festival dei Record, una "maratona" di barzellette dedicate allo sport e agli sportivi! Qui le potete trovare tutte, ma proprio tutte, in una raccolta davvero... al top!
Kaho Nashiki - Un'estate con la Strega dell'Ovest (2019) Formato: EPUB Mai ha tredici anni e non vuole più andare a scuola. La madre, preoccupata, decide di mandarla a stare dalla nonna per un po’, in una bella casetta nella campagna giapponese sul limitare dei monti. La nonna è una