First Course in Mathematical Logic

First Course in Mathematical Logic

Patrick Suppes, Shirley Hill
¿Qué tanto le ha gustado este libro?
¿De qué calidad es el archivo descargado?
Descargue el libro para evaluar su calidad
¿Cuál es la calidad de los archivos descargados?
In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities.
Categorías:
Año:
2010
Editorial:
Dover Publications
Idioma:
english
Páginas:
288
ISBN 10:
0486422593
ISBN 13:
9780486422596
Serie:
Dover Books on Mathematics
Archivo:
MOBI , 1.51 MB
IPFS:
CID , CID Blake2b
english, 2010
Leer en línea
Conversión a en curso
La conversión a ha fallado

Términos más frecuentes