Bienvenido! estás en Mandrake Libros web
Menú
Inicio / Catalogo / Hpcf3 / An Introduction to Formal Logic: Second Edition

RICHARD LOUIS EPSTEIN
An Introduction to Formal Logic: Second Edition

Advanced Reasoning Forum

Impresión bajo demanda. Llega en 14 dias.

Páginas: 230
Formato:
Peso: 0.405 kgs.
ISBN: 978-1-938421-52-5

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.

An Introduction to Formal Logic: Second Edition

$31.977,28
24 cuotas de $3.973,84
10% de descuento pagando con Transferencia o depósito bancario
Ver medios de pago
Envío gratis superando los $24.990
An Introduction to Formal Logic: Second Edition $31.977,28
Entregas para el CP:
Cambiar CP

Medios de envío

Nuestro local

  • Mandrake Libros Rioja 1869 - Rosario- Lunes a Viernes de 10 a 19 hs. Te informaremos cuando esté listo para retirar.

    Gratis

RICHARD LOUIS EPSTEIN
An Introduction to Formal Logic: Second Edition

Advanced Reasoning Forum

Impresión bajo demanda. Llega en 14 dias.

Páginas: 230
Formato:
Peso: 0.405 kgs.
ISBN: 978-1-938421-52-5

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.