LEADER 01234nam a2200325 i 4500
001 991001094789707536
005 20020507183148.0
008 930909s1982    ne            ||| | eng  
020   $a0444864172
035   $ab10800153-39ule_inst
035   $aLE01306931$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03-06
084   $aAMS 03-XX
100 1 $aHerbrand, Jacques$047662
245 10$aLogic colloquium, '81 :$bproceedings of the Herbrand Symposium held in Marseilles, France, July 1981 /$cedited by J. Stern
260   $aAmsterdam ; New York ; Oxford :$bNorth-Holland,$c1982
300   $axi, 384 p. ;$c23 cm.
490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X ;$v107
500   $aConference/meeting Marseille 1981
650  4$aMathematical logic$xCongresses
650  4$aSymbolic logic$xCongresses
700 1 $aStern, Jacques
907   $a.b10800153$b23-02-17$c28-06-02
912   $a991001094789707536
945   $aLE013 03-XX STE21 (1982)$g1$i2013000042350$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10903999$z28-06-02
996   $aLogic colloquium, '81$9925493
997   $aUNISALENTO
998   $ale013$b01-01-93$cm$da  $e-$feng$gne $h0$i1