Lógica formal - Richard C. Jeffrey

5,50 €

tc Pay Accepts tc Pay

Condition of the lot: Very Good (new or like new, without any signs of use)

The seller accepts tc Pay. Safe and secure payment method, an integrated card payment gateway, fast and efficient.

Learn more

Description of the lot

Autor: Richard C. Jeffrey

ISBN: 9788431309497

Ed. Univ. de Navarra. Pamplona 1986 22 cm., 279 pag. Este es un libro para el principiante, diseñado para familiarizarle a lo largo de un curso semestral con un sistema completo de lógica cuantificacional y darle los medios para comprobar que el sistema es completo y que ningún sistema de lógica cuantificacional es decidible. FILOSOFIA-PENSAMIENTO .