Formal systems and recursive functions
Connectez-vous pour ajouter ce livre à votre bibliothèque.
Formal systems and recursive functions
GB) Logic colloquium (08 ; 1963 ; Oxford, John Newsome Crossley, Michael Anthony Eardley Dummett
Autre
Première publication : 1965