Introduction To The Theory Of Logic (Paperback)

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.

General

Imprint:	WestviewPress
Country of origin:	United States
Release date:	2000
First published:	February 2000
Authors:	Jose L. Zalabardo
Dimensions:	234 x 156 x 23mm (L x W x T)
Format:	Paperback
Pages:	347
ISBN-13:	978-0-8133-6602-9
Categories:	Books > Language & Literature > Language & linguistics > Philosophy of language Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Philosophy > Topics in philosophy > Logic
LSN:	0-8133-6602-X
Barcode:	9780813366029

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!