CIRAULO, FRANCESCO
CIRAULO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Lindenbaum’s Lemma via Open Induction | 2016 | CIRAULO, FRANCESCO + | - | PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC | Advances in Proof Theory |
Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory | 2023 | francesco ciraulo | - | Encyclopedia of Mathematics and its Applications | Handbook of constructive mathematics |
Sull'algebra degli insiemi in matematica intuizionista | 2011 | CIRAULO, FRANCESCO | - | QUADERNI DI ACME | La ricerca logica in Italia. Studi in onore di Corrado Mangione |