biblioteche Università Vanvitelli, biblioteche Vanvitelli, biblioteche Università degli Studi della Campania, Sebina, biblioteca, opac, catalogo biblioteca, Campania, Catalogo biblioteca, catalogo on-line, Prestito libri

Introduzione alla logica formale

Lolli, Gabriele

Il Mulino <editore> 1991

Abstract

Nel XX secolo la logica si è posta come strumento e riferimento privilegiato per i fondamenti della matematica, la filosofia della scienza, l'informatica e l'intelligenza artificiale. [...]