|
|
|
|
LEADER |
01159nam a2200265 4500 |
001 |
BFMO50100050 |
003 |
SV-SsUSB |
005 |
20131104154456.0 |
008 |
051111s1978 es f m s000 0 spa |
040 |
|
|
|a Sistema Bibliotecario Universidad de El Salvador
|b spa
|c SV-SsUSB
|d SV-SsUSB
|
094 |
|
|
|a Lic. Filosofía
|a B-1
|
100 |
1 |
|
|a Blanco Gallo, Jorge Alberto
|
245 |
1 |
|
|a Elementos de la teoría del cálculo lógico (cálculo proposicional) /
|c Jorge Alberto Blanco Gallo
|
260 |
|
|
|a San Salvador :
|b U.E.S,
|c 1978
|
300 |
|
|
|a 52[1] h. ;
|b 27 cm.
|
502 |
|
|
|a Tesis(Licenciatura en Filosofía)--Universidad de El Salvador, San Salvador, 1978.
|
592 |
|
|
|a Cálculo proposicional
|
592 |
|
|
|a La prueba en lógica proposicional mediante reglas de deducción natural
|
592 |
|
|
|a Operadores y tablas de verdad
|
592 |
|
|
|a Proposiciones
|
592 |
|
|
|a Tantologías (Leyes de la lógica proposicional)
|
592 |
|
|
|a Un sistema de cálculo proposicional
|
942 |
|
|
|2 ddc
|c TS
|
999 |
|
|
|c 4905
|d 4905
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 FILOSOFÍA_B1
|7 0
|8 T
|9 8563
|a 50
|b 50
|c TUES
|d 2012-12-07
|e Biblioteca Central
|i 50100050
|o Filosofía B-1
|p 50100050
|r 2012-12-07
|w 2012-12-07
|y TS
|