Recherche avancéePréférences

1 - Formalized recursive functionals and formalized realizability Kleene, Stephen Cole (1909-1994) Cote : [05 KLE 69]

2 - Logique moderne. Fascicule 1 : logique des propositions et des prédicats, déduction naturelle Grize, Jean-Blaise (1922-2013) Cote : [05 GRI 69-1]

Nombre de résultats : 2