000051201 001 __ 51201
000051201 005 __20141001192538.0
000051201 024 7_ $2 doi $a 10.5565/PUBLMAT_302386_03
000051201 035 __ $9 articleid $a 02102978v30n2-3p35
000051201 041 __ $a cat
000051201 100 __ $a Tomás, Francesc
000051201 245 1_ $a Anàlisi formalment recursiva
000051201 540 __ $9 info:eu-repo/semantics/openAccess $a Tots els drets reservats $u http://www.europeana.eu/rights/rr-f/
000051201 546 __ $a Català.
000051201 599 __ $a recerca
000051201 655 _4 $a info:eu-repo/semantics/article
000051201 655 _4 $a info:eu-repo/semantics/publishedVersion
000051201 773 __ $g V. 30 n. 2/3  (1986) p. 35-75 $t Publicacions de la Secció de Matemàtiques $x 0210-2978
000051201 856 40 $p 41 $s 676148 $u http://ddd.uab.cat/pub/pubsecmat/02102978v30n2-3/02102978v30n2-3p35.pdf
000051201 973 __ $f 035 $l 75 $m  $n 2/3 $v 30 $x 02102978v30n2-3 $y 1986
000051201 980 __ $a ARTPUB