000 | 00656nam a2200229 4500 | ||
---|---|---|---|
001 | 00547352 | ||
003 | PWmBRO | ||
005 | 20240602100956.0 | ||
008 | 860616s1977 ne a o0011 eng l | ||
082 | 0 | 0 |
_a511 _b.3 |
090 | 0 | 0 | _b511.3/B433c |
100 | 1 | 0 |
_aBell, J. L. _q(John Lane) |
245 | 1 | 2 |
_aA course in mathematical logic _cby J. L. Bell and M. Machover |
260 | 0 | 0 |
_aAmsterdam _bNorth-Holland Pub. Co. _c1977 |
300 | 0 | 0 |
_axviii, 599 p. _c23 cm. |
595 | 0 | 0 | _a0720428440 |
650 | 0 | 0 | _aLogic, Symbolic and mathematical |
700 | 1 | 0 | _aMachover, Mosh�e |
942 | _2ddc | ||
994 | _a001049346 87048 0001 | ||
999 |
_c34709 _d34709 |