Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Calvert, Wesley and
Knight, Julia F. 2006.
“Classification from a Computable Viewpoint.” The Bulletin of Symbolic Logic 12(2): 191–218.