Lógica matemática elemental /

Mostrar otras versiones (9)

Introducción.- Nuevos preliminares. - El lenguaje formalizado. - Interpretaciones y validez universal. - Traducción del lenguaje natural al lenguaje formal. -Enunciados tautológicos. - Reglas de inferencia para lenguaje formal. - Algunos metateoremas. - Identidad y términos. - Axiomas. Teorías form...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Mates, Benson
Formato: Libro
Lenguaje:Español
Publicado: Madrid : Tecnos, 1979.
Materias:
LOGICA MATEMATICA
Aporte de:Registro referencial: Solicitar el recurso aquí
Bibliotecas (ING-UNLP) de Universidad Nacional de La Plata
LEADER 00929Cam#a22002173a#4500
001 INGC-MON-017538
003 AR-LpUFI
005 20221019005425.0
008 101103s1979||||sp |||||||||||||||||spa d
020 |a 843090509x 
040 |a AR-LpUFI  |b spa  |c AR-LpUFI 
080 |a 164 
100 1 |a Mates, Benson.   |9 302012 
245 1 0 |a Lógica matemática elemental /   |c Benson Mates. 
260 |a Madrid :   |b Tecnos,   |c 1979. 
300 |a 287 p. ;   |c 22 cm. 
520 2 |a Introducción.- Nuevos preliminares. - El lenguaje formalizado. - Interpretaciones y validez universal. - Traducción del lenguaje natural al lenguaje formal. -Enunciados tautológicos. - Reglas de inferencia para lenguaje formal. - Algunos metateoremas. - Identidad y términos. - Axiomas. Teorías formalizadas. Breve esbozo de la historia de la lógica. 
650 4 |a LOGICA MATEMATICA  |9 265406 
929 |a 38062 DON Rode 
942 |c LIB  |6 _ 
999 |a LC  |c 17535  |d 17535 

Ejemplares similares