Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 29
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory 2023 francesco ciraulo - Encyclopedia of Mathematics and its Applications Handbook of constructive mathematics
Overlap Algebras as Almost Discrete Locales 2023 Ciraulo, Francesco LOGICAL METHODS IN COMPUTER SCIENCE - -
Il paper-folding in un’esperienza didattica nella Scuola secondaria di II grado 2022 Francesco Ciraulo + 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 - -
$sigma$-locales in Formal Topology 2022 Ciraulo, Francesco LOGICAL METHODS IN COMPUTER SCIENCE - -
Factorizing the Top-Loc adjunction through positive topologies 2021 Ciraulo FrancescoMaschio Samuele + ARCHIVE FOR MATHEMATICAL LOGIC - -
Solving Knights-and-Knaves with One Equation 2020 Ciraulo, FrancescoMaschio, Samuele THE COLLEGE MATHEMATICS JOURNAL - -
Overlap algebras: A constructive look at complete boolean algebras 2020 Ciraulo F. + LOGICAL METHODS IN COMPUTER SCIENCE - -
Educare al pensiero razionale nella scuola primaria: una proposta didattica 2019 Francesco Ciraulo + L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Reducibility, a constructive dual of spatiality 2019 Ciraulo, FrancescoSambin, Giovanni JOURNAL OF LOGIC AND ANALYSIS - -
Geometria fra immagini, immaginazione e... "magia"! 2018 Francesco Ciraulo L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Eating Pizza to learn fractions 2018 Gaggi, OmbrettaCiraulo, Francesco + - ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES ACM International Conference Proceeding Series
Embedding locales and formal topologies into positive topologies 2018 Ciraulo, FrancescoSambin, Giovanni ARCHIVE FOR MATHEMATICAL LOGIC - -
Cavalieri e furfanti? Basta un'equazione! 2017 FRANCESCO CIRAULOSAMUELE MASCHIO PERIODICO DI MATEMATICHE - -
Positivity relations on a locale 2016 CIRAULO, FRANCESCO + ANNALS OF PURE AND APPLIED LOGIC - -
Lindenbaum’s Lemma via Open Induction 2016 CIRAULO, FRANCESCO + - PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC Advances in Proof Theory
Regular opens in constructive topology and a representation theorem for overlap algebras 2013 CIRAULO, FRANCESCO ANNALS OF PURE AND APPLIED LOGIC - -
Convergence in formal topology: a unifying notion 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIASAMBIN, GIOVANNI JOURNAL OF LOGIC AND ANALYSIS - -
Constructive version of Boolean algebra 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIA + LOGIC JOURNAL OF THE IGPL - -
Intuitionistic overlap structures 2013 CIRAULO, FRANCESCO LOGIC AND LOGICAL PHILOSOPHY - -
Mostrati risultati da 1 a 20 di 29
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