TY - BOOK ID - 132433536 TI - A course in mathematical logic AU - Bell, J.L. AU - Machover, M. PY - 1986 PB - Amsterdam North-Holland DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:132433536 AB - ER -