Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 31 di 31
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Tecniche dimostrative. La logica incontra la matematica. 2019 Maschio, Samuele - U MATH -
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 - -
Cavalieri e furfanti? Basta un'equazione! 2017 FRANCESCO CIRAULOSAMUELE MASCHIO PERIODICO DI MATEMATICHE - -
Curiosità, sfida e cooperazione. Una strategia didattica per le gare matematiche. 2017 Samuele Maschio L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
A predicative variant of a realizability tripos for the Minimalist Foundation. 2016 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS - -
Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes 2015 MASCHIO, SAMUELE + ANNALS OF PURE AND APPLIED LOGIC - -
On the distinction between sets and classes: a categorical perspective 2015 MASCHIO, SAMUELE - BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE From Logic to Practice
An extensional Kleene realizability semantics for the Minimalist Foundation. 2015 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 20th International Conference on Types for Proofs and Programs (TYPES 2014)
Aspects of internal set theory 2012 MASCHIO, SAMUELE - - -
Aspects of set theory within a category 2012 MASCHIO, SAMUELE SCIENTIFICA ACTA - -
Mostrati risultati da 21 a 31 di 31
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