Mathematical Logic for Computer Scienceience
ISBN-13: 9788181283443