Title: A first logic book
Subjects: premiss