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

Edité par Oxford University Press, 2000

A propos de cet article

N° de réf. du vendeur 9780198500490

Détails bibliographiques

• Titre: Mathematical Logic: A Course With Exercises: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
• Éditeur: Oxford University Press
• Date de parution: 2000
• Langue: anglais
• ISBN à 10 chiffres: 0198500491
• ISBN à 13 chiffres: 9780198500490
• Reliure: Couverture rigide
• État de l'article: Usado - bueno

A propos de ce titre

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.