Nicholas J. J. Smith is senior lecturer in philosophy at the University of Sydney in Australia. He is the author of Vagueness and Degrees of Truth .
[I]f you are a teacher in the market for a new logic text, or a student looking for very helpful reading, this could indeed be the book for you. --Logic Matters blog This book provides an excellent comprehensive introduction to classical first-order logic with identity. It has the expected virtues of clarity, precision and accessibility... The book deserves to be used widely, both as a text for courses and for self-study. --Greg O'Hair, Australasian Journal of Philosophy You will find this book outstanding whenever you read it, but you'll be even smarter if you read it before other, even excellent, logic books in your library. --George Hacken, Computing Reviews [T]his volume displays a masterly combination of clarity, friendliness to the beginning student with technical accuracy, and carefully thought out choice of topics that is hard to find on the market. Smith succeeds in introducing his readers to the complexities of symbolic logic in a very gentle manner--there is not a formula or a definition in the book that is not thoroughly explained or illustrated with an abundance of examples. --F. Paoli, History and Philosophy of Logic An excellent textbook for an undergraduate course on this topic. -- Peter W. Evans, Philosophy in Review