Einführung in die mathematische Logik

LDR 00749cam a2200205 a 4500
001 009374149
003 MiAaHDL
005 20101215000000.0
006 m d
007 cr bn ---auaua
008 830525s1981 gw b 001 0 ger d
020 ⊔ ⊔ ‡a3871446262 (v.1)
035 ⊔ ⊔ ‡asdr-coo950953
035 ⊔ ⊔ ‡a(OCoLC)9775452
040 ⊔ ⊔ ‡aNIC ‡cNIC
100 1 ⊔ ‡aAsser, Günter.
245 1 0 ‡aEinführung in die mathematische Logik / ‡cGünter Asser.
260 ⊔ ⊔ ‡aThun : ‡bH. Deutsch, ‡c1981-
300 ⊔ ⊔ ‡a3 v. ; ‡c21 cm.
500 ⊔ ⊔ ‡aT. 1: 6., völlig neubearbeitete Aufl.; T. 2: 2. Aufl.
504 ⊔ ⊔ ‡aIncludes bibliographical references and index.
505 0 ⊔ ‡aT. 1. Aussagenkalkül -- T. 2. Prädikatenkalkül der ersten Stufe -- T. 3. Prädikatenlogik höherer Stufe.
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aLogic, Symbolic and mathematical
CID ⊔ ⊔ ‡a009374149
DAT 0 ⊔ ‡a20101214152529.0 ‡b20101215000000.0
DAT 1 ⊔ ‡a20120814073236.0 ‡b2024-07-17T17:32:39Z
DAT 2 ⊔ ‡a2024-07-17T17:30:02Z
CAT ⊔ ⊔ ‡aSDR-COO ‡dUNKNOWN ‡lloader.pl-001-001
FMT ⊔ ⊔ ‡aBK
HOL ⊔ ⊔ ‡0sdr-coo950953 ‡acoo ‡bSDR ‡cCOO ‡pcoo.31924002176182 ‡sCOO ‡zv.1 ‡1950953
974 ⊔ ⊔ ‡bCOO ‡cCOO ‡d20240717 ‡sgoogle ‡ucoo.31924002176182 ‡zv.1 ‡y1981 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929
974 ⊔ ⊔ ‡bCOO ‡cCOO ‡d20240717 ‡sgoogle ‡ucoo.31924002176190 ‡zv.2 ‡y1981 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929
974 ⊔ ⊔ ‡bCOO ‡cCOO ‡d20240717 ‡sgoogle ‡ucoo.31924002176208 ‡zv.3 ‡y1981 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929