LEADER 00787nam0-22002531i-450- 001 990001203430403321 035 $a000120343 035 $aFED01000120343 035 $a(Aleph)000120343FED01 035 $a000120343 100 $a20000920d1982----km-y0itay50------ba 101 0 $aeng 200 1 $aLogic Colloquium '81$eProceedings of the Herbrand Symposium held in Marseille France, July 16-24, 1981$fby STERN J. 210 $aAmsterdam [etc.]$cNorth-Holland$d1982 225 1 $aStudies in logic and the foundations of mathematics$v107 700 1$aStern,$bJ.$0344611 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001203430403321 952 $aC-30-(107$b20901$fMA1 959 $aMA1 996 $aLogic Colloquium '81$9343560 997 $aUNINA DB $aING01