cam a22 4500 317489003 CHVBK 20200930102442.0 140703s2014 sz a 00 0 eng d GBB1-A3459 bnb 978-3-7643-8503-3 (SNL)991000959709703976 (IDSBB)006273242 (NEBIS)010060082 (Sz)1750994-41snl_51 (Sz)vtls001750994 (Sz)001750994 (OCoLC)751836964 Sz Sz 510 23sdnb 511.31 23 Kripke's worlds an introduction to modal logics via tableaux Olivier Gasquet ... [et al.] Basel [etc.] Birkhäuser cop. 2014 XV, 198 S. Ill. 24 cm Studies in universal logic Register Literaturverz. Tableau (DE-588)4590468-6 gnd Modallogik (DE-588)4074914-9 gnd Nonclassical mathematical logic (US-DLC) Mathematische Logik (DE-588)4037951-6 gnd AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger (ETHUDK)000012522 ethudk GRAPHENMODELLE (GRAPHENTHEORIE) ger (ETHUDK)000052230 ethudk MODALE LOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012513 ethudk MODELLTHEORIE (MATHEMATISCHE LOGIK) ger (ETHUDK)000012525 ethudk TABLEAUS (MATHEMATISCHE LOGIK) ger (ETHUDK)000044330 ethudk sb 2014/13 510 bs snl-sb u GRAPHENMODELLE (GRAPHENTHEORIE) ger 519.17,0 nebis E1 u MODALE LOGIK (MATHEMATISCHE LOGIK) ger 510.643 nebis E1 u TABLEAUS (MATHEMATISCHE LOGIK) ger 510.662,41 nebis E1 u AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger 510.662,5 nebis E1 u MODELLTHEORIE (MATHEMATISCHE LOGIK) ger 510.67 nebis E1 u GRAPH MODELS (GRAPH THEORY) eng 519.17,0 nebis E1 u MODÈLES GRAPHIQUES (THÉORIE DES GRAPHES) fre 519.17,0 nebis E1 u MODAL LOGIC (MATHEMATICAL LOGIC) eng 510.643 nebis E1 u LOGIQUE MODALE (LOGIQUE MATHÉMATIQUE) fre 510.643 nebis E1 u TABLEAUX (MATHEMATICAL LOGIC) eng 510.662,41 nebis E1 u TABLEAUX (LOGIQUE MATHÉMATIQUE) fre 510.662,41 nebis E1 u DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE) fre 510.662,5 nebis E1 u AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC) eng 510.662,5 nebis E1 u MODEL THEORY (MATHEMATICAL LOGIC) eng 510.67 nebis E1 u THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE) fre 510.67 nebis E1 Gasquet Olivier Birkhäuser Firma (DE-588)16113674-6 Verlag pbl Studies in universal logic (Sz)001534799 https://opac.admin.ch/toc/toc001750994.pdf Inhaltsverzeichnis BK020000 XK020000 XK020000 zbzmon201409l dome zbzswk201410b tschu idszbz Z2 mt SzZuIDS BS/BE ZB510 Z01 121 E01-20140505 124 E01-20140505 SNL NB001 NB001 Nb 177969 NB10010 IDSBB A100 A100 100FM UBH Kt 22274 NELA1001407 / g/2014/L80115 IDSBB A216 A216 MAG MAT 03B KR KRIPKE NELA2161611 SNL 490 1- Studies in universal logic SNL 700 1- Gasquet Olivier SNL 710 2- Birkhäuser Firma (DE-588)16113674-6 Verlag pbl SNL 830 -- Studies in universal logic (Sz)001534799 SNL 856 41 https://opac.admin.ch/toc/toc001750994.pdf Inhaltsverzeichnis IDSBB 490 0- Studies in Universal Logic IDSBB 700 1- Gasquet Olivier NEBIS 490 -- Studies in universal logic NEBIS 700 1- Gasquet Olivier NEBIS EAD50 https://opac.nebis.ch/objects/pdf03/e01_978-3-7643-8503-3_01.pdf Titelblatt und Inhaltsverzeichnis VIEW pdf NEBIS EAD50 https://opac.nebis.ch/objects/pdf03/e01_978-3-7643-8503-3_02.pdf Abstract / Autoreninformation VIEW pdf IDSBB DSV51 DSV01 A100 http://www.ub.unibas.ch/tox/IDSBB/006273242/PDF pdf VIEW Inhaltsverzeichnis SWISSBIB 317489003