La théorie intuitionniste des types: sémantique des preuves et théorie des constructions / Michel Bourdeau

By: Bourdeau, MichelMaterial type: ArticleArticleLanguage: French In: Dialogue vol. 36, nº. 2, 1997, págs. 323-340
Item type Current library Call number Status Date due Barcode
Artículos de revista Artículos de revista San Esteban
Depósito de revistas
Available

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha