Ben-Ari, Mordechai

Mathematical logic for computer science - 2ND - LONDON SPRINGER 2001 - XIII,303P

1-85233-319-7


LOGIC FOR MATHEMATICAL

511.3 BEN