IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 14 di 14
Titolo Data di pubblicazione Autori Tipo File Abstract
Storia della logica : da Boole ai nostri giorni 1993 S. Bozzi + Book (author) -
Storia della logica. 1 2004 MANGIONE, CORRADOS. Bozzi Book (author) -
Storia della logica. 2 2004 C. MangioneS. Bozzi Book (author) -
Linguaggio, logica e matematica in A. Turing 2005 S. Bozzi Book Part (author) -
Le origini della teoria dei modelli 2005 S. Bozzi Article (author) -
Logica matematica 2007 S. Bozzi Book Part (author) -
Teoria dei modelli 2007 S. Bozzi Book Part (author) -
Teoremi di indecidibilità 2008 S. Bozzi Book Part (author) -
Sintassi 2008 S. Bozzi Book Part (author) -
Semantica 2008 S. Bozzi Book Part (author) -
Categoricità 2008 S. Bozzi Book Part (author) -
Lambda-calcolo 2008 S. Bozzi Book Part (author) -
Algebra di Boole 2008 BOZZI, SILVIO Book Part (author) -
Gerolamo Saccheri, Logica dimostrativa, book review in History and Philosophy of Logic, 2013 2013 S. Bozzi Article (author) -
Mostrati risultati da 1 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile