Recherche avancéePréférences

1 - A method in proofs of undefinability with applications to functions in the aritmetic of natural numbers De Bouvère, Karel Louis Cote : [02 BOU 59]

2 - The calculi of lambda-conversion Church, Alonzo (1903-1995) Cote : [05 CHU 1941]

Nombre de résultats : 2