Browse the list: Settori scientifico-disciplinari MIUR
 | Up a level |
- Settori scientifico-disciplinari (5187)
- Area 01 - Scienze matematiche e informatiche (181)
- MAT/01 Logica matematica (2)
- Area 01 - Scienze matematiche e informatiche (181)
Number of documents on this level: 2.
Guidi, Ferruccio (2015) Extending the Applicability Condition in the Formal System \lambda\delta. [Preprint]
Guidi, Ferruccio (2017) The Formal System \lambda \Upsilon P. [Preprint]
