Mathematical Logic: A Course With Exercises: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Cori, Ren'e; Lascar, Daniel

ISBN 10: 0198500491 / ISBN 13: 9780198500490

Published by Oxford University Press, 2000

Seller Inventory # 9780198500490

Synopsis:

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.

Review:
"This text is based on a course to undergraduates and gives a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The first chapter considers propositional calculus; then Boolean algebras follow; Chapter 3 covers predicate calculus and this is followed by completeness theorems. Large numbers of examples appear throughout the text and each chapter concludes with a selection of exercises to reinforce the student's understanding. Answers to the exercises are given in an appendix."--L'Enseignement Mathématique

"I have always been especially fond of logic. The two-volume Mathematical Logic: A Course with Exercises is a comprehensive introductory course that is distinguished by clarity of exposition and a large number of exercises with thorough solutions. Each volume is about 330 pages long, 80 of which are solutions!"The Bulletin of Mathematics Books

Bibliographic Details

Title: Mathematical Logic: A Course With Exercises:...
Publisher: Oxford University Press
Publication Date: 2000
Binding: Hardcover
Condition: Usado - bueno