03-XX	Mathematical logic and foundations Logica matematica e fondamenti
03-00	General reference works (handbooks, dictionaries, bibliographies, etc.) Opere di riferimento generale (manuali, dizionari, bibliografie ecc.)
03-01	Instructional exposition (textbooks, tutorial papers, etc.) Esposizione didattica (libri di testo, articoli tutoriali ecc.)
03-02	Research exposition (monographs, survey articles) Presentazione di ricerche (monografie, articoli di rassegna)
03-03	Historical {!must also be assigned at least one classification number from section 01} Opere storiche {!va assegnato almeno un altro numero di classificazione della sezione 01}
03-04	Explicit machine computation and programs (not the theory of computation or programming) Calcolo automatico esplicito e programmi (non teoria della computazione o della programmazione)
03-06	Proceedings, conferences, collections, etc. Atti, conferenze, collezioni ecc.
03A05	Philosophical and critical {For philosophy of mathematics, see also 00A30} Lavori filosofici e critici {Per la filosofia della matematica, vedi 00A30}
03Bxx	General logic Logica generale
03B05	Classical propositional logic Logica proposizionale classica
03B10	Classical first-order logic Logica classica del primo ordine
03B15	Higher-order logic and type theory Logica di ordine superiore e teoria dei tipi
03B20	Subsystems of classical logic (including intuitionistic logic) Sottosistemi della logica classica (inclusa la logica intuizionistica)
03B22	Abstract deductive systems Sistemi deduttivi astratti
03B25	Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] Decidibilit\`a di teorie e di insiemi di sentenze $ 11U05, 12L05, 20F10]
03B30	Foundations of classical theories (including reverse mathematics) [See also 03F35] Fondamenti delle teorie classiche (inclusa la matematica inversa?) $ 03F35]
03B35	Mechanization of proofs and logical operations [See also 68T15] Meccanizzazione di dimostrazioni e di operazioni logiche $ 68T15]
03B40	Combinatory logic and lambda-calculus [See also 68N18] Logica combinatoria e lambda-calcolo $ 68N18]
03B42	Logic of knowledge and belief Logica della conoscenza e delle opinioni?
03B44	Temporal logic Logica temporale
03B45	Modal logic {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45} Logica modale {Per conoscenza ed opinoni, vedi 03B42; per la logica temporale, vedi 03B44; per la logica della dimostrabilit\`a, vedi anche 03F45}
03B47	Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects, see 03F52} 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	Probability and inductive logic [See also 60A05] Probabilit\`a e logica induttiva $ 60A05]
03B50	Many-valued logic Logica a molti valori
03B52	Fuzzy logic; logic of vagueness [See also 68T27, 68T37, 94D05] Logica sfumata; logica della vaghezza $ 68T27, 68T37, 94D05]
03B53	Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.) Logiche che ammettono incongruenze (logiche paraconsistenti, logiche della discussione ecc.)
03B55	Intermediate logics Logiche intermedie
03B60	Other nonclassical logic Altre logiche non classiche
03B65	Logic of natural languages [See also 68T50, 91F20] Logica dei linguaggi naturali $ 68T50, 91F20]
03B70	Logic in computer science [See also 68-XX] Logica nell'informatica $ 68-XX]
03B80	Other applications of logic Altre applicazioni della logica
03B99	None of the above, but in this section Diverso da quanto sopra, ma in questa sezione
03Cxx	Model theory Teoria dei modelli
03C05	Equational classes, universal algebra [See also 08Axx, 18C05] Classi equazionali, algebra universale $ 08Axx, 18C05]
03C07	Basic properties of first-order languages and structures Propriet\`a base dei linguaggi e delle strutture del primo ordine
03C10	Quantifier elimination, model completeness and related topics Eliminazione dei quantificatori, completezza del modello ed argomenti collegati
03C13	Finite structures [See also 68Q15, 68Q19] Strutture finite $ 68Q15, 68Q19]
03C15	Denumerable structures Strutture numerabili
03C20	Ultraproducts and related constructions Ultraprodotti e costruzioni collegate
03C25	Model-theoretic forcing Forzatura?forcing di teoria dei modelli
03C30	Other model constructions Altre costruzioni di modelli
03C35	Categoricity and completeness of theories Categoricit\`a e completezza delle teorie
03C40	Interpolation, preservation, definability Interpolazione, preservazione, definibilit\`a
03C45	Classification theory, stability and related concepts Teoria della classificazione, stabilit\`a e concetti collegati
03C50	Models with special properties (saturated, rigid, etc.) Modelli con propriet\`a speciali (saturati, rigidi ecc.)
03C52	Properties of classes of models Propriet\`a di classi di modelli
03C55	Set-theoretic model theory Teoria dei modelli ricondotta? alla teoria degli insiemi
03C57	Effective and recursion-theoretic model theory [See also 03D45] Teoria dei modelli effettiva e ricondotta alla teoria della ricorsione $ 03D45]
03C60	Model-theoretic algebra [See also 08C10, 12Lxx, 13L05] Algebra inquadrata nella teoria dei modelli $ 08C10, 12Lxx, 13L05]
03C62	Models of arithmetic and set theory [See also 03Hxx] Modelli dell'aritmetica e della teoria degli insiemi $ 03Hxx]
03C64	Model theory of ordered structures; o-minimality Teoria dei modelli delle strutture ordinate; o-minimalit\`a
03C65	Models of other mathematical theories Modelli di altre teorie matematiche
03C68	Other classical first-order model theory Altri temi della teoria dei modelli classica del primo ordine
03C70	Logic on admissible sets Logica su insiemi ammissibili
03C75	Other infinitary logic Altri temi di logica infinitaria
03C80	Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48] Logica con quantificatori ed operatori extra?aggiuntivi $ 03B42, 03B44, 03B45, 03B48]
03C85	Second- and higher-order model theory Teoria dei modelli del second'ordine e di ordine superiore
03C90	Nonclassical models (Boolean-valued, sheaf, etc.) Modelli non classici (a valori Booleani, su fasci ecc.)
03C95	Abstract model theory Teoria dei modelli astratta
03C98	Applications of model theory [See also 03C60] Applicazioni della teoria di modelli $ 03C60]
03C99	None of the above, but in this section Diverso da quanto sopra, ma in questa sezione
03Dxx	Computability and recursion theory Computabilit\`a e teoria della ricorsione
03D03	Thue and Post systems, etc. Sistemi di Thue e di Post ecc.
03D05	Automata and formal grammars in connection with logical questions [See also 68Q45, 68Q70, 68R15] Automi e grammatiche formali in connessione con questioni di logica $ 68Q45, 68Q70, 68R15]
03D10	Turing machines and related notions [See also 68Q05] Macchine di Turing e nozioni collegate $ 68Q05]
03D15	Complexity of computation [See also 68Q15, 68Q17] Complessit\`a della computazione $ 68Q15, 68Q17]
03D20	Recursive functions and relations, subrecursive hierarchies Funzioni e relazioni ricorsive, gerarchie subricorsive
03D25	Recursively (computably) enumerable sets and degrees Insiemi e gradi ricorsivamente (computabilmente) enumerabili
03D28	Other Turing degree structures Altre strutture di grado di Turing
03D30	Other degrees and reducibilities Altri gradi; riducibilit\`a
03D35	Undecidability and degrees of sets of sentences Indecidibilit\`a e gradi di insiemi di enunciati
03D40	Word problems, etc. [See also 06B25, 08A50, 20F10] Problemi della parola ecc. $ 06B25, 08A50, 20F10]
03D45	Theory of numerations, effectively presented structures [See also 03C57] {For intuitionistic and similar approaches, see 03F55} Teoria delle numerazioni, strutture effettivemente presentate $ 03C57] {Per approcci intuizionisti e similari, vedi 03F55}
03D50	Recursive equivalence types of sets and structures, isols Tipi ricorsivi di equivalenze di insiemi e strutture, isols?
03D55	Hierarchies Gerarchie
03D60	Computability and recursion theory on ordinals, admissible sets, etc. Teoria della computabilit\`a e della ricorsione su ordinali, su insiemi ammissibili ecc.
03D65	Higher-type and set recursion theory Teoria della ricorsione di tipo superiore e degli insiemi
03D70	Inductive definability Definibilit\`a induttiva
03D75	Abstract and axiomatic computability and recursion theory Teoria della computabilit\`a e della ricorsione astratte ed assiomatiche
03D80	Applications of computability and recursion theory Applicazioni della teoria della ricorsione
03D99	None of the above, but in this section Diverso da quanto sopra, ma in questa sezione
03Exx	Set theory Teoria degli insiemi
03E02	Partition relations Relazioni di partizione
03E04	Ordered sets and their cofinalities; pcf theory Insiemi ordinati e loro cofinalit\`a; teoria pcf
03E05	Other combinatorial set theory Altri temi di teoria combinatoria degli insiemi
03E10	Ordinal and cardinal numbers Numeri ordinali e cardinali
03E15	Descriptive set theory [See also 28A05, 54H05] Teoria descrittiva degli insiemi $ 28A05, 54H05]
03E17	Cardinal characteristics of the continuum Caratteristiche cardinali del contimuo
03E20	Other classical set theory (including functions, relations, and set algebra) Altri temi di teoria classica degli insiemi (incluse funzioni, relazioni ed algebra degli insiemi)
03E25	Axiom of choice and related propositions Assioma della scelta e proposizioni collegate
03E30	Axiomatics of classical set theory and its fragments Assiomatica della teoria classica degli insiemi e di sui frammenti
03E35	Consistency and independence results Risultati di consistenza e di indipendenza
03E40	Other aspects of forcing and Boolean-valued models Altri aspetti del forcing? e modelli a valori Booleani
03E45	Inner models, including constructibility, ordinal definability, and core models Modelli interni, incluse costruibilit\`a, definibilit\`a ordinale e modelli di nocciolo?
03E47	Other notions of set-theoretic definability Altri nozioni di definibilit\`a nell'ambito della teoria degli insiemi
03E50	Continuum hypothesis and Martin's axiom Ipotesi del continuo ed assioma di Martin
03E55	Large cardinals Cardinali grandi?large
03E60	Determinacy principles Principi di determinatezza
03E65	Other hypotheses and axioms Altre ipotesi ed assiomi
03E70	Nonclassical and second-order set theories Teorie degli insiemi non classiche e del second'ordine
03E72	Fuzzy set theory Teoria degli insiemi sfumati
03E75	Applications of set theory Applicazioni della teoria degli insiemi
03E99	None of the above, but in this section Diverso da quanto sopra, ma in questa sezione
03Fxx	Proof theory and constructive mathematics Teoria della dimostrazione e matematica costruttiva
03F03	Proof theory, general Teoria della dimostrazione, generale
03F05	Cut-elimination and normal-form theorems Eliminazione dei tagli? e teoremi di forma normale
03F07	Structure of proofs Struttura delle dimostrazioni
03F10	Functionals in proof theory Funzionali nella teoria della dimostrazione
03F15	Recursive ordinals and ordinal notations Ordinali ricorsivi e notazioni ordinali
03F20	Complexity of proofs Complessit\`a delle dimostrazioni
03F25	Relative consistency and interpretations Consistenza relativa ed interpretazioni
03F30	First-order arithmetic and fragments Aritmetica del primo ordine e suoi frammenti
03F35	Second- and higher-order arithmetic and fragments [See also 03B30] Aritmetica del secondo ordine e di ordini superiori e suoi frammenti $ 03B30]
03F40	G\"odel numberings in proof theory Numerazioni di G\"odel in teoria della dimostrazione
03F45	Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25] Logica della dimostrabilit\`a ed algebre collegate (e.g. Algebre diagonalizzabili) $ 03B45, 03G25, 06E25]
03F50	Metamathematics of constructive systems Metamatematica dei sistemi costruttivi
03F52	Linear logic and other substructural logics [See also 03B47] Logica lineare ed altre logiche substrutturali $ 03B47]
03F55	Intuitionistic mathematics Matematica intuizionistica
03F60	Constructive and recursive analysis [See also 03B30, 03D45, 26E40, 46S30, 47S30] Analisi costruttiva e ricorsiva $ 03B30, 03D45, 26E40, 46S30, 47S30]
03F65	Other constructive mathematics [See also 03D45] Altre matematiche costruttive $ 03D45]
03F99	None of the above, but in this section Diverso da quanto sopra, ma in questa sezione
03Gxx	Algebraic logic Logica algebrica
03G05	Boolean algebras [See also 06Exx] Algebre di Boole $ 06Exx]
03G10	Lattices and related structures [See also 06Bxx] Reticoli e strutture collegate $ 06Bxx]
03G12	Quantum logic [See also 06C15, 81P10] Logica quantistica $ 06C15, 81P10]
03G15	Cylindric and polyadic algebras; relation algebras Algebre cilindriche e poliadiche; algebre di relazioni
03G20	Lukasiewicz and Post algebras [See also 06D25, 06D30] Algebre di Lukasiewicz e di Post $ 06D25, 06D30]
03G25	Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35] Altre algebre collegate alla logica $ 03F45, 06D20, 06E25, 06F35]
03G30	Categorical logic, topoi [See also 18B25, 18C05, 18C10] Logica categoriale, topoi $ 18B25, 18C05, 18C10]
03G99	None of the above, but in this section Diverso da quanto sopra, ma in questa sezione
03Hxx	Nonstandard models [See also 03C62] Modelli nonstandard $ 03C62]
03H05	Nonstandard models in mathematics [See also 26E35, 28E05, 30G06, 46S20, 47S20, 54J05] Modelli nonstandard in matematica $ 26E35, 28E05, 30G06, 46S20, 47S20, 54J05]
03H10	Other applications of nonstandard models (economics, physics, etc.) Altre applicazioni dei modelli nonstandard (in economia, in fisica ecc.)
03H15	Nonstandard models of arithmetic [See also 11U10, 12L15, 13L05] Modelli nonstandard dell'aritmetica $ 11U10, 12L15, 13L05]
03H99	None of the above, but in this section Diverso da quanto sopra, ma in questa sezione