TY - BOOK ID - 126677029 TI - Logic from computer science PY - 1992 SN - 9780387976679 0387976671 PB - New York (N.Y.): Springer, DB - UniCat KW - Logic, Symbolic and mathematical KW - Computer science UR - https://www.unicat.be/uniCat?func=search&query=sysid:126677029 AB - ER -