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