Title: A manual of logic