Notice de personne
- Notice
000 nx a22 3 45
001 FRBNF172926940
100 .. $a 20180207cfrey50 ba0
101 .. $a und
102 .. $a XX
105 .. $a a
106 .. $a 1
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 $a Tugué $b Tosiyuki
801 .. $a FR $b FR-751131015 $c 20180207
810 .. $a Logic Symposia Hakone 1979, 1980 [Texte électronique] : Proceedings of Conferences
Held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980 / edited by Gert H.
Müller, Gaisi Takeuti, Tosiyuki Tugué.- Berlin, Heidelberg : Springer-Verlag : Springer
e-books, 1981
