| 000 | 01246 a2200409 4500 | ||
|---|---|---|---|
| 003 | MN-UlNUM | ||
| 005 | 20200310172445.0 | ||
| 008 | 110605s1998 us 000 0 eng d | ||
| 020 |
_a0-07-913083-6 _a978-0079-130839 |
||
| 040 | _afirst lib | ||
| 082 | _a510 | ||
| 084 |
_a22.12 _bB 45 _2other _q2 |
||
| 100 | 1 | _aBergmann Merrie | |
| 240 | 1 | 0 | _a22.12 B 45 |
| 245 | 1 | 0 | _aSolutions to selected exercises in the logic book |
| 250 | _a3rd ed | ||
| 260 |
_aNY _c2004 _bMcGraw-Hill |
||
| 300 | _a556 | ||
| 500 | _aГФ 12352-12353, 17509-17510 | ||
| 546 | _aEnglish | ||
| 653 | _amathematics | ||
| 653 | _alogic,symbolic and mathematical | ||
| 653 | _apredicate (Logic) | ||
| 700 | 1 | _aMoor James, Nelson Jack | |
| 740 | _aBasic notions of logic | ||
| 740 | _aSentential logic: Symbolization and syntax | ||
| 740 | _aSentential logic: Semantics | ||
| 740 | _aSentential logic:Truth-Trees | ||
| 740 | _aSentential logic: Derivations | ||
| 740 | _aSentential logic: Metatheory | ||
| 740 | _aPredicate logic: Symbolization and syntax | ||
| 740 | _aPredicate logic: Semantics | ||
| 740 | _aPredicate logic: Truth-Trees | ||
| 740 | _aPredicate logic: Derivations | ||
| 740 | _aPredicate logic: Metatheory | ||
| 942 | _cBK | ||
| 999 |
_c8666 _d8666 |
||