LEADER 00850nam0-22003131i-450-
001 990001071600403321
010   $a0-19-853163-X
035   $a000107160
035   $aFED01000107160
035   $a(Aleph)000107160FED01
035   $a000107160
100   $a20000920d1977----km-y0itay50------ba
101 0 $aeng
200 1 $aChoice Sequences$eA chapter of Intuitionistic Mathematics$fby A.S. Troelstra
210   $aOxford$cOxford University Press$d1977
215   $aix, 170 p.$d24 cm
225 1 $aOxford Logic Guides
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aTroelstra,$bAnne Sjerp$057222
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001071600403321
952   $a7-195$b10481$fFI1
959   $aFI1
996   $aChoice Sequences$9335113
997   $aUNINA
DB    $aING01