- Notice
000 nx j22 45
001 FRBNF171426494
100 .. $a 20170726afrey50 ba0
106 .. $a 211
152 .. $b rameau $c 2
250 .. $7 ba0yba0y $8 fre $9 $a Mathématiques à rebours
686 .. $a 510 $c Mathématiques $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20170726
810 .. $a Les mathématiques à rebours de théorèmes de type Ramsey / L. Patey, 2016 [thèse] $a Fondements ou constructivité ? / M. Marion [in] Philosophiques, 2004, 31, 1
822 12 $a Reverse mathematics $2 LCSH $u http://id.loc.gov/authorities/subjects/sh2005002411 $d 2017-07-26
822 12 $a Mathématiques à rebours $2 RVMLaval $d 2017-07-26