Rudimentary recursion and provident sets - Université de La Réunion Access content directly
Journal Articles Notre Dame Journal of Formal Logic Year : 2014

Rudimentary recursion and provident sets

Abstract

no abstract
No file

Dates and versions

hal-01186136 , version 1 (24-08-2015)

Identifiers

  • HAL Id : hal-01186136 , version 1

Cite

Adrian R D Mathias, Nathan Bowler. Rudimentary recursion and provident sets. Notre Dame Journal of Formal Logic, 2014, 55 (3), pp.1-40. ⟨hal-01186136⟩
66 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More