PakCat catalogue record Logic for computer scientists By Schoening, Uwe Bibliographic details ISBN9780817647629 PublisherBirkhaeuser Publication placeBoston, MA Publication year2008 Edition1st ed. LanguageEnglish Physical descriptionp. cm.