LEADER 01201nz a2200289n 4500 001 981058507237306706 005 20210802122738.0 008 030521|||anznnbabn |a ana d 040 $aES-BaUB$bcat$cES-BaUB$fthub 072 7$aTH 51$2thub 150 $aMatemàtica constructiva 450 $aConstructivisme (Matemàtica) 550 $wg$aLògica matemàtica 550 $wh$aFuncions computables 550 $wh$aMatemàtica intuïcionista 550 $aConstructivisme (Filosofia) 670 $aLEMAC, consulta feta el 16 d'abril, 2015$b(punt d'accés: Matemàtica constructiva) 670 $aAutoridades CSIC, consulta feta el 16 d'abril, 2015$b(punt d'accés: Matemáticas constructivas) 670 $aLCSH, consulta feta el 16 d'abril, 2015$b(punt d'accés: Constructive mathematics) 670 $aRAMEAU, consulta feta el 16 d'abril, 2015$b(punt d'accés: Mathématiques constructives) 750 7$aMatemáticas constructivas$2thub//spa 750 7$aConstructive mathematics$2thub//eng 750 7$aMathématiques constructives$2thub//fre 996 $a.a11931097$b02-12-20$c04-06-08$d-$ed$f- 909 $a11$5ES-BaUB 990 $aTHUB Tema$5ES-BaUB 035 $a(ES-BaUB).a11931097