Discrete mathematics and its applications - Rosen, Kenneth H. (Boston, Mass. [etc.] : McGraw-Hill, 2007)
Bibliografija: str. B1-7.
Keywords: computer science -- symbolic logic -- mathematical logic