Podręcznik polecany studentom informatyki. Poruszone w nim zagadnienia stanowią podstawę wykształcenia każdego informatyka. Są przedstawione z dużym znawstwem tematu, a na dodatek zrozumiale. Omówione pojęcia i metody są zilustrowane licznymi przykładami.
Oprawa: twarda
Rok wydania: 2006
Wydawca: WNT
Język oryginalny: angielski
Tytuł oryginalny: MATHEMATICAL LOGIC FOR COMPUTER SCIENCE