✧  SciGator  ✧      

Explore University of Pavia libraries...          


⬉ home  Browse subclasses ↓                           ...then launch a search by the buttons beside   [help]it / en           
 ↑ 511.3               mathematical logic, computability         → 005.1   ≈ E.1    
 ↑ 511.32                    sets         ≈ E.2    
 ↑ 511.35                    recursitivy, cellular automata, λ calculus             

 
See also:

 ↑ 261                      → 511.3 
 ↑ 005.1                    programming  → 511.3  519.7 
 ↑ 160                    logic  → 510.1  511.3 
 ↑ E.1                      → :ZE.0  ≈ 511.3 MSC 03 tranne 03E, 03H
 ↑ E.2                        ≈ 511.32 MSC 03E
LC                    Logic and computability    ≈ 511.3 

 

SciGator: explore University of Pavia libraries... — <http://scigator.unipv.it/indexe.php> : 2017.02.14 - 2020.09.29 -
« <http://www-dimat.unipv.it/biblio/dewey.php> : 2015.06.18 - 2017.02.14