LEADER 00746nam0-22002531i-450-
001 990001217650403321
005 20071016125951.0
035   $a000121765
035   $aFED01000121765
035   $a(Aleph)000121765FED01
035   $a000121765
100   $a20001205d1973----km-y0itay50------ba
101 0 $aeng
200 1 $aAutomath$ea language for mathematics$fby Bruijn,N.G.
210   $aMontréal$cLes Presses de l'Université de Montréal$d1973.
225 1 $aSéminaire de Mathématiques Supérieures$v52
700  1$aBruijn,$bNicolaas Govert : de$056660
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001217650403321
952   $a25-C-52$b14891$fMA1
959   $aMA1
996   $aAutomath$9343052
997   $aUNINA