Notice de personne
- Notice
000 cx a22 45
001 FRBNF124220479
005 20181016
010 .. $a 0000000108899143 $2 VIAF $d 20130726
039 .. $o OPL $a 010561754
039 .. $o OPP $a 17194010 $d 20181016
100 .. $a 19940923afrey50 ba0
101 .. $a ger
102 .. $a DE
103 .. $a 19381028
105 .. $a a
106 .. $a 1
120 .. $a b
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Bibel $b Wolfgang $f 1938-....
300 0. $a Mathématicien. - En poste à Technische Hochschule Darmstadt, Allemagne (en 1993)
801 .. $a FR $b FR-751131015 $c 20181016
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
815 .. $a Encyclopedic dictionary of mathematics, 1987
