Nissanke, Nimal,
Introductory logic and sets for computer scientists /
Nimal Nissanke
- xvi, 384 páginas : ilustraciones ;
- International computer science series .
0201179571 (rustica)
Lógica computacional
Teoría de conjuntos
QA76.9L63 / N57
004/.01/5113