Mathematical Logic: A Course With Exercises : Propositional Calculus, Bookean Algebras, Predicate Calculus - Couverture rigide

Cori, René; Lascar, Daniel

 
9780198500490: Mathematical Logic: A Course With Exercises : Propositional Calculus, Bookean Algebras, Predicate Calculus
Couverture rigide
ISBN 10 : 0198500491 ISBN 13 : 9780198500490
Editeur : Oxford University Press, 2000

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Biographie de l'auteur

Rene Cori is at Universite Paris VII. Daniel Lascar is at Universite Paris VII. Donald Pelletier is at York University, Toronto and Universite Paris VII.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Oxford University Press
Date d'édition
2000
Langue
anglais
ISBN 10 
0198500491
ISBN 13 
9780198500490
Reliure
Relié
Nombre de pages
358
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie

Autres éditions populaires du même titre

9780198500483: Mathematical Logic: A course with exercises - Part I - Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Edition présentée

ISBN 10 :  0198500483 ISBN 13 :  9780198500483
Editeur : Oxford University Press, USA, 2000
Couverture souple