| 000 | 00820nam a2200301 u 4500 | ||
|---|---|---|---|
| 001 | 5716 | ||
| 003 | IFAC | ||
| 005 | 20260129200944.0 | ||
| 008 | 211125s2018 bl 000 1 por d | ||
| 035 | _a5716 | ||
| 040 | _aBR-IFAC | ||
| 942 | _cBOOK | ||
| 090 |
_a511.3 _bS586l _c2.ed |
||
| 260 |
_aSão Paulo _bCengage Learning _c2018 |
||
| 250 | _a2.ed. | ||
| 300 | _a240 p. | ||
| 100 | 1 | _aSilva, Flávio Soares Corrêa da | |
| 245 | 1 |
_aLógica para computação _c/ Flávio Soares Corrêa da Silva, Marcelo Finger, Ana Cristina Vieira de Melo |
|
| 082 | 0 | _a511.3 | |
| 020 | _a978-85-221-2718-4 | ||
| 500 | _a | ||
| 650 | 0 | 4 | _aLógica |
| 650 | 0 | 4 | _aComputação |
| 650 | 0 | 4 | _aMatemática |
| 650 | 0 | 4 | _aLógica simbólica e matemática |
| 700 | 1 | _aFinger, Marcelo | |
| 700 | 1 | _aMelo, Ana Cristina Vieira de | |
| 999 |
_c33465 _d33465 |
||