cam a22 u 4500 279862555 CHVBK 20201019201050.0 130818s1990 xxk|||||||||| 00 |eng d 0-415-00033-5 http://catalogue.bnf.fr/ark:/12148/cb37399820q uri (IDSBB)000615780 (NEBIS)000552802 (RERO)1288474 SzZuIDS BS/BE B400 ger kids xxk xxu s1ph rero 510 15 160 20 511.3 19 CC 2600 rvk SK 130 rvk Gill R. R. Rockingham Deducibility and decidability R. R. Rockingham Gill London [etc.] Routledge 1990 VIII, 162 S. 22 cm Mathematische Logik idsbb Mathematische Logik idszbz Berechenbarkeit (DE-588)4138368-0 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Decidability (Mathematical logic) Logic, Symbolic and mathematical ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger (ETHUDK)000012524 ethudk GÖDELSCHE SÄTZE (MATHEMATISCHE LOGIK) ger (ETHUDK)000039343 ethudk LEHRBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000000099 ethudk MATHEMATISCHE LOGIK ger (ETHUDK)000012502 ethudk Logique mathématique (RERO)A021013613 rero Décidabilité (logique mathématique) (RERO)A021021537 rero u MATHEMATISCHE LOGIK ger 510.6 nebis E1 u GÖDELSCHE SÄTZE (MATHEMATISCHE LOGIK) ger 510.635,4 nebis E1 u LEHRBÜCHER (DOKUMENTENTYP) ger (075) nebis E1 u ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger 510.665 nebis E1 u MATHEMATICAL LOGIC eng 510.6 nebis E1 u LOGIQUE MATHÉMATIQUE fre 510.6 nebis E1 u GÖDEL THEOREMS (MATHEMATICAL LOGIC) eng 510.635,4 nebis E1 u THÉORÈMES DE GÖDEL (LOGIQUE MATHÉMATIQUE) fre 510.635,4 nebis E1 u TEXTBOOKS (DOCUMENT TYPE) eng (075) nebis E1 u MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (075) nebis E1 u DECISION PROBLEMS (MATHEMATICAL LOGIC) eng 510.665 nebis E1 u PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) fre 510.665 nebis E1 BK020000 XK020000 XK020000 ph SzZuIDS BS/BE mt SzZuIDS BS/BE RERO RE31020 RE31020 RE310200429 NELA 20610 NELA 20610 NEBIS Z01 Z01 03 GGN 35179 IDSBB A100 A100 MAG UBH Kt 3912 Akz: ba/uub-/k/149450 NEBIS UPHIL UPHIL ULPHI 9581/GI 1 IDSBB B400 B400 400G3 BeM ZB Log XI 779 Akz: be/stub/k/90/31357 NEBIS E02 E02 E02MA C 529 IDSBB 100 1- Gill R. R. Rockingham NEBIS 100 1- Gill R. R. Rockingham RERO 100 1- Gill R.R. Rockingham (IDREF)175312419 cre IDSBB DSV51 DSV01 A100 http://www.ub.unibas.ch/tox/HBZ/HT003617861/PDF pdf VIEW Inhaltsverzeichnis SWISSBIB 279862555