Carrito
No hay más artículos en su carrito
An Introduction to Formal Logic: Second Edition
$ 121.400
Impuestos incluidos
Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. Motivation for each formal concept and each step in building a formal logic in terms of for
Autor(a): RICHARD LOUIS EPSTEIN
Editorial:Advanced reasoning forum
Edición:2020-07-03
Formato:Libro Impreso Por Demanda
ISBN: 9781938421525
Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. Motivation for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Provides a conception of formal logic and not just a collection of results. Summaries at important junctures in the book keep students aware of what they''re doing and where they''re going. Hundreds of exercises that teach. Criteria of formalization with many examples of formalizing ordinary language reasoning in an example-analysis format. A complete course: syntax, semantics, and completeness theorems for classical propositional logic and classical predicate logic, and syntax and semantics for second-order classical predicate logic.
- Alto
- 244 mm
- Ancho
- 170 mm
- Autor(a)
- RICHARD LOUIS EPSTEIN
- Editorial
- ADVANCED REASONING FORUM
- Idioma
- eng
- ISBN
- 9781938421525
- Páginas
- 230
- País de publicación
- Estados Unidos
- Fecha de publicación
- 2020-07-03
- Profundidad
- 12.54 mm
- Peso
- 405 gr
PAP00296022
100 Artículos
No reviews
Comentarios (0)
No hay reseñas de clientes en este momento.