12 results on '"Tortora de Falco, Lorenzo"'
Search Results
2. Introduzione alla teoria degli insiemi
3. I cardinali
4. La gerarchia e l’assioma di fondazione
5. L’aritmetica di Peano
6. La teoria assiomatica di Zermelo ()
7. Gli ordinali
8. Decidibilità e risultati fondamentali di teoria della ricorsività
9. Proof-Net as Graph, Taylor Expansion as Pullback
10. Relazioni tra logica e aritmetica: un’introduzione
11. Denotational semantics for polarized (but-non-constrained) LK by means of the additives
12. Strong normalization for all-style LKtq : Extended abstract
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.