Mircea S. Reghis (Author) , Eugene Roventa (York University) (Author)
"""This textbook is useful for students at the advanced undergraduate level in mathematics, computer science and engineering; it could be helpful for university teachers, engineers and any person interested in learning and applying logical concepts."" --Quan Lei, Zentralblatt MATH, Vol. 944"