000 00597nam a2200217Ia 4500
003 OSt
005 20220928135947.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a5741
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aB:(R1), P2
100 _aNievergelt Yves
_9493355
245 0 _aFoundations of logic and mathematics
_b Application To Computer Science and Cryptography
260 _c2002
942 _hB:(R1), P2
_cTEXL
_2CC
999 _c809165
_d809165