000 00792nam a2200229 a 4500
008 981208s1976 xxu 00 eng
020 _a0134862252
040 _aUKM
090 _aBC181
_b.P638
100 1 _aPospesel, Howard,
_d1937-.
_949337
245 1 0 _aPredicate logic /
_cHoward Pospesel.
260 _aEnglewood Cliffs, N.J. :
_bPrentice-Hall,
_c1976.
300 _axiii, 205 p. :
_bill. ;
_c23 cm.
504 _aIncludes bibliographical references and index.
650 0 _aPredicate (Logic).
650 0 _aProposition (Logic).
650 0 _aLogic, Symbolic and mathematical
_vProblems, exercises, etc.
907 _a.b11842489
_b2021-06-18
_c2019-11-12
942 _c01
_n0
_kBC181 .P638
914 _avtls000190607
998 _at
_b1999-05-08
_cm
_da
_feng
_gxxu
_y0
_z.b11842489
999 _c185841
_d185841