Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 28
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
On categorical structures arising from implicative algebras: From topology to assemblies 2024 Maschio S. + ANNALS OF PURE AND APPLIED LOGIC - -
Implicative models of set theory 2023 Samuele Maschio + Electronic Notes in Theoretical Informatics and Computer Science - Proceedings of MFPS XXXIX
I giochi matematici per la scuola primaria: autentici problemi di matematica. 2023 Maschio Samuele L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Una prospettiva didattica sui modelli matematici nelle scienze sociali. 2023 Maschio Samuele L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Scelta sociale a scuola. Percorsi di matematica, cittadinanza e costituzione. 2022 Samuele Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza. 2022 Ciraulo FrancescoMaschio Samuele L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
On the Compatibility Between the Minimalist Foundation and Constructive Set Theory 2022 Maschio SamueleSabelli Pietro - LECTURE NOTES IN COMPUTER SCIENCE CiE 2022: Revolutions and Revelations in Computability
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 2022 Maietti M. E.Maschio S.Rathjen M. LOGICAL METHODS IN COMPUTER SCIENCE - -
A Categorical Reading of the Numerical Existence Property in Constructive Foundations 2022 Maschio Samuele - - Objects, Structures, and Logics
Un’indagine sulla didattica della matematica a distanza durante la pandemia da Covid 2019 attraverso la percezione dei docenti della scuola primaria in Veneto 2021 Maschio Samuele + L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Factorizing the Top-Loc adjunction through positive topologies 2021 Ciraulo FrancescoMaschio Samuele + ARCHIVE FOR MATHEMATICAL LOGIC - -
A predicative variant of Hyland's effective topos 2021 Maietti Maria EmiliaMaschio Samuele THE JOURNAL OF SYMBOLIC LOGIC - -
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 2021 Maietti Maria EmiliaMaschio Samuele + LOGICAL METHODS IN COMPUTER SCIENCE - -
Solving Knights-and-Knaves with One Equation 2020 Ciraulo, FrancescoMaschio, Samuele THE COLLEGE MATHEMATICS JOURNAL - -
Topology as Faithful Communication Through Relations 2020 Samuele MaschioGiovanni Sambin FUNDAMENTA INFORMATICAE - -
Natural density and probability, constructively 2020 Maschio Samuele REPORTS ON MATHEMATICAL LOGIC - -
Numerical Existence Property and Categories with an Internal Copy 2020 Maschio Samuele LOGICA UNIVERSALIS - -
Emancipare la dimostrazione dalla geometria euclidea nella didattica della Matematica. 2019 Samuele Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 2018 Maria Emilia MaiettiSamuele Maschio + ARCHIVE FOR MATHEMATICAL LOGIC - -
Mind the gap. Sull’Ipotesi del Continuo 2018 Samuele Maschio ARCHIMEDE - -
Mostrati risultati da 1 a 20 di 28
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile