| 000 | 00687nam a2200265 u 4500 | ||
|---|---|---|---|
| 001 | 942 | ||
| 003 | IFAC | ||
| 005 | 20260129201504.0 | ||
| 008 | yymmdds2008 bl 000 1 por d | ||
| 035 | _a942 | ||
| 040 | _aBR-IFAC | ||
| 041 | _apor | ||
| 942 | _cBOOK | ||
| 090 |
_a005.1 _bS729l _c2.ed |
||
| 260 |
_aRio de Janeiro _bElsevier _c2008 |
||
| 250 | _a2.ed. | ||
| 300 | _a220 p. | ||
| 100 | 1 | _aSouza, João Nunes de | |
| 245 | 1 |
_aLógica para ciência da computação: _buma introdução concisa _c/ João Nunes de Souza |
|
| 082 | 0 | _a005.1 | |
| 020 | _a978-85-352-2961-5 | ||
| 500 | _a | ||
| 650 | 4 |
_aLógica _xComputação. |
|
| 650 | 4 | _aLógica simbólica e matemática | |
| 999 |
_c36003 _d36003 |
||