-
511.35Teoria della ricorsività
-
511.352Funzioni ricorsive
-
511.36Teoria della prova e matematica costruttiva
-
511.4Logica matematica. Approssimazioni e sviluppi
-
511.42Logica matematica. Approssimazioni e sviluppi. Metodi
-
511.422Spline (Interpolazioni con spline)
-
511.43Logica matematica. Analisi dell'errore
-
511.5Teoria dei grafi (include la teoria delle reti)
-
511.52Grafi ad albero
-
511.6Analisi combinatoria