✧  SciGator  ✧      

Esplora le biblioteche dell'Università di Pavia...          


 home  Scorri le sottoclassi ↓                           ...poi lancia la ricerca con i bottoni a fianco   [help]it / en          
 ↑ 511.3               logica matematica, computabilità         → 005.1   E.1       
 ↑ 511.32                    insiemi         ≈ E.2       
 ↑ 511.35                    ricorsività, automi cellulari, λ-calcolo                

 
Vedi anche:

 ↑ 261                    Logica, teoria degli insiemi, algebre, calcolo combinatorio  → 511.3 
 ↑ 005.1                    programmazione  → 511.3  519.7 
 ↑ 160                    logica filosofica  → 510.1  511.3 
 ↑ E.1                    logica matematica, fondamenti della matematica  → :ZE.0  ≈ 511.3 MSC 03 tranne 03E, 03H
 ↑ E.2                    teoria degli insiemi    ≈ 511.32 MSC 03E
LC                    Logica e computabilità    ≈ 511.3 

 


SciGator: esplora le biblioteche dell'Università di Pavia... — <http://scigator.unipv.it/index.php> : 2017.02.14 - 2020.11.25 -
« <http://www-dimat.unipv.it/biblio/dewey.php> : 2014.12.18 - 2017.02.14