cam a22 7 4500 279844840 CHVBK 20200901103804.0 130818s1999 sz ||||||m||| 00 |eng d Catalogage: décrit l'ex. de thèse frbcuc/01.2000/0024 MedeaB400: lidos 18497 IZ UBE/akstub Sprenger, Markus Rolf; geb. 22.03.1964 (RERO)R264407960 (IDSBB)001926185 (SNL)991003320859703976 (NEBIS)002069012 (Sz)1221697-41snl_51 (Sz)vtls001221697 (Sz)001221697 RERO frbcuc sz ch-be s1ma rero 510 15 Sprenger Markus Rolf (RERO)A005877093 cre Decidability in combinatory logic Markus Rolf Sprenger Bern [éditeur non identifié] 1999 58 f. 30 cm Phil.-naturwiss. Diss. Bern, 1999 Literaturverz. Logique combinatoire (RERO)A021007640 rero Décidabilité (logique mathématique) (RERO)A021021537 rero Hochschulschrift gnd-content sb 1999/17 18 snl-sb BK020300 XK020000 XK020000 1 Hochschulschrift = Thèse/Mémoire medeabern idsbb B bd-nat idsbb B mt SzZuIDS BS/BE M814 Z01 SNL NB001 NB001 Nbq 36202 NB10010 RERO RE01003 RE01003 RE010030001 UF 4259 NEBIS E30 E30 E30BI 2AT 16: 7 NEBIS Z01 Z01 05 UnS 1999: 10077 IDSBB B400 B400 400F4 BeM RAE 2097 Akz.: be/stub/t/99/univ / Disslager: kein Ex RERO 100 1- Sprenger Markus Rolf (RERO)A005877093 cre IDSBB 100 1- Sprenger Markus Rolf SNL 100 1- Sprenger Markus Rolf NEBIS 100 1- Sprenger Markus Rolf