| 000 | 01371nam a2200457 a 4500 | ||
|---|---|---|---|
| 003 | AR-ReUNN | ||
| 005 | 20260702144722.0 | ||
| 008 | 260701s1986 mx |||||||||||||||||spa | ||
| 020 | _a968-26-0134-7 | ||
| 100 | 1 |
_aCopi, Irving Marmer _98059 |
|
| 700 | 1 |
_aSestier Bouclier, Andrés _986277 |
|
| 245 | 1 | 0 | _aLógica simbólica |
| 250 | _a1a ed. | ||
| 264 | 1 |
_aMéxico _bCompañía Editorial Continental _c1986 |
|
| 300 | _a407 páginas | ||
| 650 | 4 |
_aLenguajes Varios _94399 |
|
| 650 | 4 |
_aEnunciados _936538 |
|
| 650 | 4 |
_aDeduccion _944910 |
|
| 650 | 4 |
_aFuncion Proposicional _986240 |
|
| 650 | 4 |
_aCuantificadores _979599 |
|
| 650 | 4 |
_aVerdad _95097 |
|
| 650 | 4 |
_aValidez _927917 |
|
| 650 | 4 |
_aSistemas Deductivos _985179 |
|
| 650 | 4 |
_aGeometria Euclidiana _917933 |
|
| 650 | 4 |
_aCalculo Proporcional _915128 |
|
| 650 | 4 |
_aLengua _9533 |
|
| 650 | 4 |
_aMetalenguaje _935533 |
|
| 650 | 4 |
_aAxiomas _952925 |
|
| 650 | 4 |
_aNotaciones Alternativas _986278 |
|
| 650 | 4 |
_aSistema de Hilbert Ackermann _986279 |
|
| 650 | 4 |
_aSistema de Nicod _986280 |
|
| 650 | 4 |
_aCalculo Funcional _986281 |
|
| 650 | 4 |
_aSistema Logistico Rs _986282 |
|
| 650 | 4 |
_aExpansiones Booleanas _986283 |
|
| 650 | 4 |
_aAlgebra de Clases _986284 |
|
| 650 | 4 |
_aTeoria de los Tipos _986285 |
|
| 650 | 4 |
_aReglas de Inferencia _986286 |
|
| 942 | _cLIB | ||
| 035 | _a(FIL)39258 | ||
| 001 | 160547 | ||
| 999 |
_c160547 _d160547 |
||
| 040 |
_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2 |
||