Bouquins
Recherche
Connexion
Inscription
Recherche
Connexion
Inscription
John Newsome Crossley
Œuvres (2)
Formal systems and recursive functions
Formal systems and recursive functions
1965
The nine chapters on the mathematical art
1999