Fundamentos de Lógica Matemática

Synopsis de Fundamentos de Lógica Matemática

«Fundamentos de Lógica Matemática» est le manuel de logique mathématique de Joaquín Aranda, José L. Fernández, José Jiménez et Fernando Morilla, en broché.

Il présente la logique des propositions (langage formel, tables de vérité, tautologies, systèmes axiomatiques et inférentiels, principe de résolution) et la logique des prédicats du premier ordre avec déduction, résolution et unification. Il passe en revue d'autres logiques : modale, des classes, polyvalentes, avec des exercices.

Édition brochée avec rabats, publiée à Madrid par Sanz y Torres en 2000 ; 321 pages en espagnol. Dimensions : 24 x 17 cm.

Convient comme matériel de soutien pour les étudiants en sciences qui suivent des cours de logique mathématique.