| 000 | 01104nam a2200313Ia 4500 | ||
|---|---|---|---|
| 001 | 1369 | ||
| 008 | 131118s2012 mx 00 0 spa d | ||
| 020 | _a9786077071655 | ||
| 040 |
_aPUCESD _bspa _erda |
||
| 082 | 0 | 4 |
_a511 _bF24 2012 |
| 090 | _aPlanta Baja | ||
| 100 | 1 | _aFarre Cirera, Rafael | |
| 245 | 1 | 0 |
_aLógica para informáticos / _cRafael Farré Cirera; Robert Nieuwenhuis; Pilar Nivela [et alt.] |
| 250 | _a1ª Ed. | ||
| 264 | 1 |
_aMéxico : _bAlfaomega , _c2012 |
|
| 300 |
_a206 páginas ; _c23 cm. |
||
| 336 | _atxt | ||
| 337 | _an | ||
| 338 | _anc | ||
| 505 | 0 | _a1.-Preliminares 2.-Definicion de la logica proposicional 3.-Deduccion en la logica proposicional 4.-Definicion de la logica de primer orden 5.-Deduccion de la logica de primer orden 6.-Fundamentos de la programacion logica | |
| 526 | _aSistemas de la Información | ||
| 590 | _aMM | ||
| 650 | 0 | 4 | _aLOGICA MATEMATICA |
| 650 | 0 | 4 | _aCALCULO PROPOSICIONAL Y PREDICADOS |
| 700 | 1 | _aOliveras, Albert | |
| 700 | 1 | _aRodriguez, Enric | |
| 700 | 1 | _aSierra, Josefina | |
| 942 | 0 | 0 |
_00 _cBK |
| 999 |
_c200632 _d200632 |
||