Notice de personne
- Notice
000 nx a22 45
001 FRBNF124220536
010 .. $a 0000000109212374 $2 VIAF $d 20130726
039 .. $o OPL $a 010561811
100 .. $a 19940923afrey50 ba0
101 .. $a eng
102 .. $a XX
103 .. $a 19560712
105 .. $a a
106 .. $a 1
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Sannella $b Donald $f 1956-....
300 0. $a Traduit de l'allemand en anglais
300 0. $a Mathématicien
801 .. $a FR $b FR-751131015 $c 19940923
810 .. $a Deduction : automated logic / by Wolfgang Bibel ; with the asst. of Steffen Hölldobler
and exercises by Gerd Neugebauer ; transl. by Monika Lekuse with the asst. of Donald
Sannella, 1993
810 .. $a LCNA (CD OCLC), 1994-06
815 .. $a Encyclopedic dictionary of mathematics, 1987
