Sets, logic and maths for computing
David Makinson
Sets, logic and maths for computing - Springer-Verlag 2008 - 301
SAR/84/09/10-08-09
Computer science --Mathematics
Sets, logic and maths for computing - Springer-Verlag 2008 - 301
SAR/84/09/10-08-09
Computer science --Mathematics