Classic undergraduate text sharpens students' grasp of the deductive method, including variables, sentential calculus, theory of identity, more. Exercises.
This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars …
