000 01526n a2200409#a 4500
001 8553
003 P5A
005 20221213135806.0
008 830407s1982 sz b 000 0 eng
010 _a82184564 //r91
019 _a8467064
_a9795914
020 _c90.00F (pbk.)
035 _aocm09441465
035 _aRecord 16318
040 _aDLC
_cDLC
_dOCL
_dFPU
041 0 _aenggerfre
049 _aP5AA
082 0 0 _a511.3
090 _acolm
245 0 0 _aLogic and algorithmic:
_ban international symposium held in honour of Ernst Specker.
260 _aGenève:
_bL'Enseignement mathématique,
_cc1982.
300 _a392 p.;
_c24 cm.
490 1 _aL'Enseignement mathématique;
_v30.
500 _aPapers from the symposium held in Zürich, Feb. 5-11, 1980.
500 _aEnglish, French, and German.
504 _aIncludes bibliographical references.
600 1 0 _aSpecker, Ernst,
_d1920-
_939892
650 0 7 _aLogique symbolique et mathématique.
_2ram
_927540
650 0 0 _aAlgorithmes.
_2ram
_928687
650 0 0 _aLogic, Symbolic and mathematical.
_99813
650 0 4 _aAlgorithms.
_937032
697 _aColeções de Monografias.
_923736
700 1 _aSpecker, Ernst,
_d1920-
_939892
830 2 _aL'Enseignement mathématique;
_v30.
_92964
942 _2impa
_cBK
999 _aSPECKER, Ernst,. <b> Logic and algorithmic: </b> an international symposium held in honour of Ernst Specker.. Genève: L'Enseignement mathématique, c1982. 392 p. (L'Enseignement mathématique; 30.).
_c9553
_d9553