03-XX	Logica matematica e fondamenti
03-00	Opere di riferimento generale (manuali, dizionari, bibliografie ecc.)
03-01	Esposizione didattica (libri di testo, articoli tutoriali ecc.)
03-02	Presentazione di ricerche (monografie, articoli di rassegna)
03-03	Opere storiche {!va assegnato almeno un altro numero di classificazione della sezione 01}
03-04	Calcolo automatico esplicito e programmi (non teoria della computazione o della programmazione)
03-06	Atti, conferenze, collezioni ecc.
03A05	Lavori filosofici e critici {Per la filosofia della matematica, vedi 00A30 }
03Bxx	Logica generale
03B05	Logica proposizionale classica
03B10	Logica classica del primo ordine
03B15	Logica di ordine superiore e teoria dei tipi
03B20	Sottosistemi della logica classica (inclusa la logica intuizionistica)
03B22	Sistemi deduttivi astratti
03B25	Decidibilit\`a di teorie e di insiemi di sentenze $ 11U05 , 12L05 , 20F10 ]
03B30	Fondamenti delle teorie classiche (inclusa la matematica inversa?) $ 03F35 ]
03B35	Meccanizzazione di dimostrazioni e di operazioni logiche $ 68T15 ]
03B40	Logica combinatoria e lambda-calcolo $ 68N18 ]
03B42	Logica della conoscenza e delle opinioni?
03B44	Logica temporale
03B45	Logica modale {Per conoscenza ed opinoni, vedi 03B42 ; per la logica temporale, vedi 03B44 ; per la logica della dimostrabilit\`a, vedi anche 03F45 }
03B47	Logica substrutturale (incluse rilevanza, entailment?inevitabilit\`a consequenziale, logica lineare, calcolo di Lambek, logiche BCK e BCI) {Per gli aspetti di teoria della dimostrazione, vedi 03F52 }
03B48	Probabilit\`a e logica induttiva $ 60A05 ]
03B50	Logica a molti valori
03B52	Logica sfumata; logica della vaghezza $ 68T27 , 68T37 , 94D05 ]
03B53	Logiche che ammettono incongruenze (logiche paraconsistenti, logiche della discussione ecc.)
03B55	Logiche intermedie
03B60	Altre logiche non classiche
03B65	Logica dei linguaggi naturali $ 68T50 , 91F20 ]
03B70	Logica nell'informatica $ 68-XX ]
03B80	Altre applicazioni della logica
03B99	Diverso da quanto sopra, ma in questa sezione
03Cxx	Teoria dei modelli
03C05	Classi equazionali, algebra universale $ 08Axx , 18C05 ]
03C07	Propriet\`a base dei linguaggi e delle strutture del primo ordine
03C10	Eliminazione dei quantificatori, completezza del modello ed argomenti collegati
03C13	Strutture finite $ 68Q15 , 68Q19 ]
03C15	Strutture numerabili
03C20	Ultraprodotti e costruzioni collegate
03C25	Forzatura?forcing di teoria dei modelli
03C30	Altre costruzioni di modelli
03C35	Categoricit\`a e completezza delle teorie
03C40	Interpolazione, preservazione, definibilit\`a
03C45	Teoria della classificazione, stabilit\`a e concetti collegati
03C50	Modelli con propriet\`a speciali (saturati, rigidi ecc.)
03C52	Propriet\`a di classi di modelli
03C55	Teoria dei modelli ricondotta? alla teoria degli insiemi
03C57	Teoria dei modelli effettiva e ricondotta alla teoria della ricorsione $ 03D45 ]
03C60	Algebra inquadrata nella teoria dei modelli $ 08C10 , 12Lxx , 13L05 ]
03C62	Modelli dell'aritmetica e della teoria degli insiemi $ 03Hxx ]
03C64	Teoria dei modelli delle strutture ordinate; o-minimalit\`a
03C65	Modelli di altre teorie matematiche
03C68	Altri temi della teoria dei modelli classica del primo ordine
03C70	Logica su insiemi ammissibili
03C75	Altri temi di logica infinitaria
03C80	Logica con quantificatori ed operatori extra?aggiuntivi $ 03B42 , 03B44 , 03B45 , 03B48 ]
03C85	Teoria dei modelli del second'ordine e di ordine superiore
03C90	Modelli non classici (a valori Booleani, su fasci ecc.)
03C95	Teoria dei modelli astratta
03C98	Applicazioni della teoria di modelli $ 03C60 ]
03C99	Diverso da quanto sopra, ma in questa sezione
03Dxx	Computabilit\`a e teoria della ricorsione
03D03	Sistemi di Thue e di Post ecc.
03D05	Automi e grammatiche formali in connessione con questioni di logica $ 68Q45 , 68Q70 , 68R15 ]
03D10	Macchine di Turing e nozioni collegate $ 68Q05 ]
03D15	Complessit\`a della computazione $ 68Q15 , 68Q17 ]
03D20	Funzioni e relazioni ricorsive, gerarchie subricorsive
03D25	Insiemi e gradi ricorsivamente (computabilmente) enumerabili
03D28	Altre strutture di grado di Turing
03D30	Altri gradi; riducibilit\`a
03D35	Indecidibilit\`a e gradi di insiemi di enunciati
03D40	Problemi della parola ecc. $ 06B25 , 08A50 , 20F10 ]
03D45	Teoria delle numerazioni, strutture effettivemente presentate $ 03C57 ] {Per approcci intuizionisti e similari, vedi 03F55 }
03D50	Tipi ricorsivi di equivalenze di insiemi e strutture, isols?
03D55	Gerarchie
03D60	Teoria della computabilit\`a e della ricorsione su ordinali, su insiemi ammissibili ecc.
03D65	Teoria della ricorsione di tipo superiore e degli insiemi
03D70	Definibilit\`a induttiva
03D75	Teoria della computabilit\`a e della ricorsione astratte ed assiomatiche
03D80	Applicazioni della teoria della ricorsione
03D99	Diverso da quanto sopra, ma in questa sezione
03Exx	Teoria degli insiemi
03E02	Relazioni di partizione
03E04	Insiemi ordinati e loro cofinalit\`a; teoria pcf
03E05	Altri temi di teoria combinatoria degli insiemi
03E10	Numeri ordinali e cardinali
03E15	Teoria descrittiva degli insiemi $ 28A05 , 54H05 ]
03E17	Caratteristiche cardinali del contimuo
03E20	Altri temi di teoria classica degli insiemi (incluse funzioni, relazioni ed algebra degli insiemi)
03E25	Assioma della scelta e proposizioni collegate
03E30	Assiomatica della teoria classica degli insiemi e di sui frammenti
03E35	Risultati di consistenza e di indipendenza
03E40	Altri aspetti del forcing? e modelli a valori Booleani
03E45	Modelli interni, incluse costruibilit\`a, definibilit\`a ordinale e modelli di nocciolo?
03E47	Altri nozioni di definibilit\`a nell'ambito della teoria degli insiemi
03E50	Ipotesi del continuo ed assioma di Martin
03E55	Cardinali grandi?large
03E60	Principi di determinatezza
03E65	Altre ipotesi ed assiomi
03E70	Teorie degli insiemi non classiche e del second'ordine
03E72	Teoria degli insiemi sfumati
03E75	Applicazioni della teoria degli insiemi
03E99	Diverso da quanto sopra, ma in questa sezione
03Fxx	Teoria della dimostrazione e matematica costruttiva
03F03	Teoria della dimostrazione, generale
03F05	Eliminazione dei tagli? e teoremi di forma normale
03F07	Struttura delle dimostrazioni
03F10	Funzionali nella teoria della dimostrazione
03F15	Ordinali ricorsivi e notazioni ordinali
03F20	Complessit\`a delle dimostrazioni
03F25	Consistenza relativa ed interpretazioni
03F30	Aritmetica del primo ordine e suoi frammenti
03F35	Aritmetica del secondo ordine e di ordini superiori e suoi frammenti $ 03B30 ]
03F40	Numerazioni di G\"odel in teoria della dimostrazione
03F45	Logica della dimostrabilit\`a ed algebre collegate (e.g. Algebre diagonalizzabili) $ 03B45 , 03G25 , 06E25 ]
03F50	Metamatematica dei sistemi costruttivi
03F52	Logica lineare ed altre logiche substrutturali $ 03B47 ]
03F55	Matematica intuizionistica
03F60	Analisi costruttiva e ricorsiva $ 03B30 , 03D45 , 26E40 , 46S30 , 47S30 ]
03F65	Altre matematiche costruttive $ 03D45 ]
03F99	Diverso da quanto sopra, ma in questa sezione
03Gxx	Logica algebrica
03G05	Algebre di Boole $ 06Exx ]
03G10	Reticoli e strutture collegate $ 06Bxx ]
03G12	Logica quantistica $ 06C15 , 81P10 ]
03G15	Algebre cilindriche e poliadiche; algebre di relazioni
03G20	Algebre di Lukasiewicz e di Post $ 06D25 , 06D30 ]
03G25	Altre algebre collegate alla logica $ 03F45 , 06D20 , 06E25 , 06F35 ]
03G30	Logica categoriale, topoi $ 18B25 , 18C05 , 18C10 ]
03G99	Diverso da quanto sopra, ma in questa sezione
03Hxx	Modelli nonstandard $ 03C62 ]
03H05	Modelli nonstandard in matematica $ 26E35 , 28E05 , 30G06 , 46S20 , 47S20 , 54J05 ]
03H10	Altre applicazioni dei modelli nonstandard (in economia, in fisica ecc.)
03H15	Modelli nonstandard dell'aritmetica $ 11U10 , 12L15 , 13L05 ]
03H99	Diverso da quanto sopra, ma in questa sezione