Title: A first logic book