Rudimentary recursion and provident sets

Abstract : no abstract
Type de document :
Article dans une revue
Notre Dame Journal of Formal Logic, University of Notre Dame, 2014, 55 (3), pp.1-40
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01186136
Contributeur : Nicolas Alarcon <>
Soumis le : lundi 24 août 2015 - 14:27:48
Dernière modification le : vendredi 14 septembre 2018 - 08:17:10

Identifiants

  • HAL Id : hal-01186136, version 1

Collections

Citation

Adrian R D Mathias, Nathan Bowler. Rudimentary recursion and provident sets. Notre Dame Journal of Formal Logic, University of Notre Dame, 2014, 55 (3), pp.1-40. 〈hal-01186136〉

Partager

Métriques

Consultations de la notice

74