"The present volume is completely self contained, and would make an excellent choice of text for an introductory course on its subject. Most of the material has been tried our in courses at Amsterdam and Utrecht; each chapter has a good collection of exercises." --A. Urquhart, Studia Logica