"14" Result
Sort By:
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound…
Este libro se diseñó para un curso de introducción a las matemáticas discretas. La exposición es clara y adecuada, además de que contiene abundantes ejercicios.
