Pulse en una miniatura para ir a Google Books.
Cargando... Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats (edición 2003)por Rene Cori (Auteur), Daniel Lascar (Auteur), Jean-Louis Krivine (Préface)
Información de la obraLogique mathématique, tome 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats por Rene Cori
Ninguno Cargando...
Inscríbete en LibraryThing para averiguar si este libro te gustará. Actualmente no hay Conversaciones sobre este libro. Ninguna reseña sin reseñas | añadir una reseña
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 studentswith 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. No se han encontrado descripciones de biblioteca. |
Debates activosNingunoCubiertas populares
Google Books — Cargando... GénerosSistema Decimal Melvil (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicClasificación de la Biblioteca del CongresoValoraciónPromedio: No hay valoraciones.¿Eres tú?Conviértete en un Autor de LibraryThing. |