LEADER 00805nam0-22003011i-450-
001 990001094900403321
010   $a0-19-853163-X
035   $a000109490
035   $aFED01000109490
035   $a(Aleph)000109490FED01
035   $a000109490
100   $a20000920d1977----km-y0itay50------ba
101 0 $aeng
200 1 $aChoice Sequences$eA chapter of Intuitionistic Mathematics$fby A.S. Toelstra
210   $aOxford$cClarendon Press$d1977
215   $aix, 170 p.$d24 cm
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aTroelstra,$bAnne Sjerp$057222
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001094900403321
952   $a7-287$b16753$fFI1
959   $aFI1
996   $aChoice Sequences$9335113
997   $aUNINA
DB    $aING01