|
|
|
|
| LEADER |
01108nam a22002775a 4500 |
| 001 |
3774 |
| 003 |
AR-SrUBC |
| 005 |
20210617130807.0 |
| 007 |
t||||||||||||| |
| 008 |
931019m||||||||ag #||||r|||||||||||spa|| |
| 020 |
|
|
|a 9502302826
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 044 |
|
|
|a ag
|c AR
|
| 080 |
|
|
|a 510.62
|2 3a Abr ES
|
| 100 |
1 |
|
|a Naishtat, Francisco S.
|9 9624
|
| 245 |
1 |
0 |
|a Lógica para computación.
|c Francisco S. Naishtat.
|
| 260 |
|
|
|a Buenos Aires :
|b Eudeba,
|c 1986.
|
| 300 |
|
|
|a xx, 300 p. ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Informática y computación
|
| 505 |
0 |
0 |
|a Contenido: Sintáxis del lenguaje formal. Semántica del lenguaje formal. Deducción, noción de modelo, inconsistencia, arboles, teorema de finitud. Escritura booleana del cálculo proposicional: algebra de Boole de Lindenbaum. El lenguaje del calculo de predicados. Rudimentos de la teoría.
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb2
|9 9625
|
| 942 |
|
|
|2 cdu
|b 1993-10-19
|c BK
|d 003820
|h 510.62
|i NAIl
|z AL
|6 51062_NAIL
|
| 999 |
|
|
|c 3774
|d 3774
|