cam a22 4 4500 364308419 CHVBK 20200930103333.0 160722s2014 sz 00 eng 978-3-0348-0861-3 (IDSBB)006438995 (NEBIS)010408311 (SNL)991005577569703976 (Sz)1833301-41snl_51 (Sz)vtls001833301 (Sz)001833301 SzZuIDS BS/BE A216 kids QA8.9-QA10.3 511.3 22 510 15 005.131 23 511.3024004 DE-101 22/ger SK 130 rvk ST 125 rvk Li Wei 1943- (DE-588)1062904451 Mathematical logic foundations for information science Wei Li 2nd rev. ed. Basel Birkhäuser 2014 301 S. Progress in computer science and applied logic vol. 25, Ed. 2 25/2 (IDSBB)000573167 29518597X Register Literaturverz. Mathematische Logik 0 Gesamtdarstellung idsbb DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE) fre (ETHUDK)000012522 ethudk LANGAGES FORMELS (LINGUISTIQUE MATHÉMATIQUE) fre (ETHUDK)000013825 ethudk LOGIQUE MATHÉMATIQUE fre (ETHUDK)000012502 ethudk MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (ETHUDK)000000099 ethudk RÈGLES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE) fre (ETHUDK)000012492 ethudk Mathematische Logik (DE-588)4037951-6 gnd u 510 Mathematische Logik, Mengentheorie, Modelltheorie idsuzh UK u LOGIQUE MATHÉMATIQUE fre 510.6 nebis E1 u RÈGLES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE) fre 510.27*1 nebis E1 u DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE) fre 510.662,5 nebis E1 u LANGAGES FORMELS (LINGUISTIQUE MATHÉMATIQUE) fre 519.766.23,1 nebis E1 u MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (075) nebis E1 u MATHEMATICAL LOGIC eng 510.6 nebis E1 u MATHEMATISCHE LOGIK ger 510.6 nebis E1 u INFERENCE RULES (MATHEMATICAL LOGIC) eng 510.27*1 nebis E1 u INFERENZREGELN (MATHEMATISCHE LOGIK) ger 510.27*1 nebis E1 u AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger 510.662,5 nebis E1 u AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC) eng 510.662,5 nebis E1 u FORMALE SPRACHEN (MATHEMATISCHE LINGUISTIK) ger 519.766.23,1 nebis E1 u FORMAL LANGUAGES (MATHEMATICAL LINGUISTICS) eng 519.766.23,1 nebis E1 u TEXTBOOKS (DOCUMENT TYPE) eng (075) nebis E1 u LEHRBÜCHER (DOKUMENTENTYP) ger (075) nebis E1 sb 2016/14 510 bs snl-sb Progress in computer science and applied logic 25 (Sz)000005365 BK020000 XK020000 XK020000 mt SzZuIDS BS/BE 096 E01-20150406 121 E01-20150406 SNL NB001 NB001 N 352918 NB10010 IDSBB A100 A100 100FM UBH Kt 22880 NELA1001605 / g/f160705 IDSBB A216 A216 MAG MAT 03B LI LI NELA2161510 IDSBB 100 1- Li Wei 1943- (DE-588)1062904451 IDSBB 490 0- Progress in computer science and applied logic vol. 25, Ed. 2 25/2 (IDSBB)000573167 29518597X NEBIS 490 -- Progress in computer science and applied logic vol. 25, Ed.2 25/2 (NEBIS)000523087 29518597X NEBIS 700 1- Li Wei SNL 100 1- Li Wei (DE-588)1138254339 SNL 490 1- Progress in computer science and applied logic 2297-0576 vol. 25 SNL 710 2- Birkhäuser Firma (DE-588)16113674-6 Verlag pbl SNL 830 -- Progress in computer science and applied logic 25 (Sz)000005365 SNL 856 41 https://opac.admin.ch/toc/toc001833301.pdf Inhaltsverzeichnis NEBIS EAD50 https://opac.nebis.ch/objects/pdf03/e01_978-3-0348-0861-3_01.pdf Titelblatt und Inhaltsverzeichnis VIEW pdf NEBIS EAD50 https://opac.nebis.ch/objects/pdf03/e01_978-3-0348-0861-3_02.pdf Abstract / Autoreninformation VIEW pdf IDSBB DSV51 DSV01 A100 http://d-nb.info/1053175345/04 pdf VIEW Inhaltsverzeichnis ORANGE 263743756 SWISSBIB 263743756