Introduction To The Theory Of Logic


By Jose L. Zalabardo

Formats and Prices




Trade Paperback


Trade Paperback $48.00

This item is a preorder. Your payment method will be charged immediately, and the product is expected to ship on or around January 12, 2000. This date is subject to change due to shipping delays beyond our control.

This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided. Topics covered include basic set theory, propositional and first-order syntax and semantics, a sequent calculus-style deductive system, the soundness and completeness theorems, cardinality, the expressive limitations of first-order logic, with especial attention to the Loewenheim-Skolem theorems and non-standard models of arithmetic, decidability, complete theories, categoricity and quantifier elimination.

On Sale
Jan 12, 2000
Page Count
344 pages
Avalon Publishing

Jose L. Zalabardo

About the Author

Jose L. Zalabardo was born in Madrid in 1964, and educated at the Universidad Aut243noma de Madrid, the University of St. Andrews and the University of Michigan, where he obtained a PhD in 1994. He was a lecturer at the University of Birmingham from 1994 to 2000. In 2000 he joined the University College London Philosophy Department, where he is now a reader. He is associate editor of Mind.

Learn more about this author