|
|
|
|
| LEADER |
01151nam a22002655a 4500 |
| 001 |
1151 |
| 003 |
AR-SrUBC |
| 005 |
20210617130024.0 |
| 007 |
t||||||||||||| |
| 008 |
930716m||||||||sp #||||r|||||||||||spa|| |
| 020 |
|
|
|a 843090509X
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 164.04
|2 1995 ES
|
| 100 |
1 |
|
|a Mates, Benson.
|9 3343
|
| 245 |
1 |
0 |
|a Lógica matemática elemental.
|c Benson Mates.
|
| 260 |
|
|
|a Madrid :
|b Tecnos,
|c 1987.
|
| 300 |
|
|
|a 287 p. ;
|c 21 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 505 |
0 |
0 |
|a Contenido: 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 à -- Algunos metateoremas -- Identidad y términos -- Axiomas à 1 -- Teorías formalizadas -- Breve esbozo de la historia de la lógica.
|
| 534 |
|
|
|t Elementary logic / Carmen García Trevijano
|
| 650 |
|
7 |
|a LOGICA MATEMATICA;
|2 lemb2
|9 3344
|
| 942 |
|
|
|2 cdu
|b 1993-07-16
|c BK
|d 001157
|h 164
|i MATl
|z AL
|6 164_MATL
|
| 999 |
|
|
|c 1151
|d 1151
|