Manual de lógica elemental /

Saved in:
Bibliographic Details
Main Author: Lozano González, Mario Alberto (autor)
Other Authors: Pérez Armendáriz, Adriana (autor)
Format: Book
Language: Spanish
Published: México : Trillas, 2016.
Edition: Primera edición
Subjects:
Notas Contenido:
  • Preliminares
  • Teoría de conjuntos - Primeras nociones de lógica
  • Lógica proposicional - Lenguaje formal proposicional
  • Semántica formal: la consecuencia proposicional
  • Cálculos deductivos: la deductibilidad proposicional
  • Lógica de predicados
  • Lenguaje formal cuantificaciones
  • Semántica formal: la consecuencia cuantificaciones
  • Cálculos deductivos: la deductibilidad cuantificaciones

MARC

LEADER 00000nam a2200000 a 4500
001 000104318
003 CO-BoSNA
005 20260109095854.0
008 200417s2016^^^^mx^^^^^gr^^^^^001^0^spa^d
020 |a 9786071726858 
040 |a CO-BoSNA  |b spa 
082 0 4 |a 160  |b L925m  |2 23 
100 1 |a Lozano González, Mario Alberto  |e autor 
245 1 0 |a Manual de lógica elemental /  |c Mario Alberto Lozano González, Adriana Pérez Armendáriz. 
250 |a Primera edición 
260 |a México :  |b Trillas,  |c 2016. 
300 |a 349 páginas ;  |c 23 cm. 
504 |a Incluye referencias bibliográficas e índice analítico 
505 0 |a Preliminares -- Teoría de conjuntos - Primeras nociones de lógica -- Lógica proposicional - Lenguaje formal proposicional -- Semántica formal: la consecuencia proposicional -- Cálculos deductivos: la deductibilidad proposicional -- Lógica de predicados -- Lenguaje formal cuantificaciones -- Semántica formal: la consecuencia cuantificaciones -- Cálculos deductivos: la deductibilidad cuantificaciones 
650 1 7 |a Lógica de primer orden  |2 Armarc 
650 2 7 |a Lógica simbólica y matemática  |2 Armarc 
650 2 7 |a Semántica (Filosofía)  |2 Armarc 
700 1 |a Pérez Armendáriz, Adriana  |e autor 
952 |0 0  |1 0  |4 5  |6 160_000000000000000_L925M  |7 0  |8 GENER  |9 470611  |a 08103  |b 08103  |d 2025-05-12  |i 215704  |l 0  |o 160 L925m  |p 089103001427  |r 2026-01-09 09:58:54  |t Ej. 1  |w 2026-01-09  |y BOOK  |z Calle 9 No. 19-120, Sabanalarga 
952 |0 0  |1 0  |4 11  |6 160_000000000000000_L925M  |7 0  |8 GENER  |9 470612  |a 76544  |b 76544  |d 2020-04-17  |i 106054  |l 0  |o 160 L925m  |p 769544004078  |r 2026-01-09 09:58:54  |t Ej. 1  |w 2026-01-09  |y BOOK  |z Calle 40 No. 30-44, Palmira Valle. 
952 |0 0  |1 0  |4 11  |6 160_000000000000000_L925M  |7 0  |8 GENER  |9 470613  |a 76544  |b 76544  |d 2020-04-17  |i 106054  |l 0  |o 160 L925m  |p 769544004079  |r 2026-01-09 09:58:54  |t Ej. 2  |w 2026-01-09  |y BOOK  |z Calle 40 No. 30-44, Palmira Valle. 
999 |c 106731  |d 106731 
942 |6 160_000000000000000__L925M