Wazir Agha Library, UOS

Schoening, Uwe.

Logic for computer scientists / Uwe Schoening. - 1st ed. - Boston, MA : Birkhaeuser, 2008. - p. cm. - Modern Birkhaeuser classics .

9780817647629 (alk. paper) 9780817647636

2007940259