LEADER 00960nam0-22003011i-450-
001 990001023000403321
010   $a3-540-10850-5
035   $a000102300
035   $aFED01000102300
035   $a(Aleph)000102300FED01
035   $a000102300
100   $a20000920d1981----km-y0itay50------ba
101 0 $aeng
200 1 $aConstructive mathematics$eProceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980$fedited by Fred Richman
210   $aBerlin [etc.]$cSpringer-Verlag$d1981
215   $aVI, 347 p.$d24 cm
225 1 $aLecture Notes in Mathematics$v873
610 0 $aFondamenti della logica matematica e probabilità
676   $a519
700  1$aRichman,$bFred$048605
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001023000403321
952   $a4A-151$b12589$fFI1
959   $aFI1
996   $aConstructive mathematics$9339692
997   $aUNINA
DB    $aING01