CRIS Current Research Information System

GHERARDI, GUIDO

GHERARDI, GUIDO  

DIPARTIMENTO DELLE ARTI  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.027 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655] Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder 2017-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista Bolzano-Weierstraß-APAL-addendum-postprint (1).pdf
Alan Turing and the foundations of computable analysis GUIDO GHERARDI 2011-01-01 THE BULLETIN OF SYMBOLIC LOGIC - 1.01 Articolo in rivista -
An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability Guido Gherardi 2006-01-01 - - 4.01 Contributo in Atti di convegno -
Borel complexity of topological operations on computable metric spaces Vasco Brattka; Guido Gherardi 2007-01-01 - - 4.01 Contributo in Atti di convegno -
Borel complexity of topological operations on computable metric spaces VASCO BRATTKA; GUIDO GHERARDI 2009-01-01 JOURNAL OF LOGIC AND COMPUTATION - 1.01 Articolo in rivista -
Completion of choice Vasco Brattka; Guido Gherardi 2021-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista Completion-of-Choice-APAL-con copertina.pdf
Computability and incomputability of differential equations Guido Gherardi 2008-01-01 - Springer 2.01 Capitolo / saggio in libro -
Effective Borel degrees of some topological functions Guido Gherardi 2006-01-01 MATHEMATICAL LOGIC QUARTERLY - 1.01 Articolo in rivista -
Effective choice and boundedness principles in computable analysis VASCO BRATTKA; GUIDO GHERARDI 2011-01-01 THE BULLETIN OF SYMBOLIC LOGIC - 1.01 Articolo in rivista -
Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193. Gherardi Guido 2023-01-01 APHEX - 1.03 Recensione in rivista -
How incomputable is the separable Hahn-Banach Theorem? Guido Gherardi; Alberto Marcone 2009-01-01 NOTRE DAME JOURNAL OF FORMAL LOGIC - 1.01 Articolo in rivista -
How Incomputable is the Separable Hahn-Banach Theorem? Guido, Gherardi; Alberto, Marcone 2008-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Internal Computability Guido Gherardi 2007-01-01 - - 4.01 Contributo in Atti di convegno -
Interpolation in Extensions of First-Order Logic Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio 2020-01-01 STUDIA LOGICA - 1.01 Articolo in rivista FinalSLStyle.pdf
Interpolation in singular geometric theories Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli 2019-01-01 - University of Tuebingen 4.01 Contributo in Atti di convegno GherardiMaffezioliOrlandelli_2019_InterpolSingGeomTh.pdf
Interpolation Theorem for First-Order Theories Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli 2017-01-01 THE BULLETIN OF SYMBOLIC LOGIC - 1.06 Abstract in rivista -
Introduzione alla Teoria dei Modelli Guido Gherardi 2023-01-01 - Archetipo Libri - CLUEB 3.01 Monografia / trattato scientifico in forma di libro 5756-Gherardi_SN3.pdf
La calculabilité Guido, Gherardi; Maël, Pegny 2022-01-01 - La Sorbonne 2.01 Capitolo / saggio in libro Précis-Gherardi-Pégny postprint.pdf
La logica del convincimento guido gherardi 2023-01-01 - La Vela 2.01 Capitolo / saggio in libro -
La matematica della mente: il pensiero come calcolo in Hobbes e Boole G. Gherardi 2011-01-01 DISCIPLINE FILOSOFICHE - 1.01 Articolo in rivista -