6 books
From Grace to Verse, From Verse to Song
Computability and Logic 5ed
Logic of Decision
Formal Logic
Computability and Logic 2ed
Computability and Logic