| 000 | 00795nam a2200241 a 4500 | ||
|---|---|---|---|
| 008 | 170703s1967####ng ad||f#|||||00| 0#eng#d | ||
| 003 | AR-SmCIES | ||
| 041 | 7 |
_aen _2ISO 639-1 |
|
| 080 | _a681.3.00 | ||
| 091 | _a15377 | ||
| 100 | 1 |
_aBraffort, P. _eed. |
|
| 245 | 1 | 0 | _aComputer programming and formal systems. |
| 260 |
_aAmsterdam : _bNorth-Holland, _c1967. |
||
| 300 |
_avi, 161 p. : _btabla, diagr. |
||
| 500 | _aFrent. port.: Studies in logic and the foundations of mathematics | ||
| 500 | _aIncl. Bibliografía al final de cada artículo. | ||
| 591 | _aMigrado de la base LIBRO | ||
| 650 | 7 |
_aPROGRAMACION _2INIS |
|
| 650 | 7 |
_aLOGICA MATEMATICA _2INIS |
|
| 700 | 1 |
_aHirschberg, D. _eed. |
|
| 999 |
_c26331 _d26331 |
||