Computer programming and formal systems.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
North-Holland,
1967.
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 008 | 170703s1967####ng ad||f#|||||00| 0#eng#d | ||
| 003 | AR-SmCIES | ||
| 041 | 7 | |a en |2 ISO 639-1 | |
| 080 | |a 681.3.00 | ||
| 091 | |a 15377 | ||
| 100 | 1 | |a Braffort, P. |e ed. | |
| 245 | 1 | 0 | |a Computer programming and formal systems. |
| 260 | |a Amsterdam : |b North-Holland, |c 1967. | ||
| 300 | |a vi, 161 p. : |b tabla, diagr. | ||
| 500 | |a Frent. port.: Studies in logic and the foundations of mathematics | ||
| 500 | |a Incl. Bibliografía al final de cada artículo. | ||
| 591 | |a Migrado de la base LIBRO | ||
| 650 | 7 | |a PROGRAMACION |2 INIS | |
| 650 | 7 | |a LOGICA MATEMATICA |2 INIS | |
| 700 | 1 | |a Hirschberg, D. |e ed. | |
| 999 | |c 26331 |d 26331 | ||
| 952 | |0 0 |1 0 |2 udc |4 0 |7 0 |a CIES-CAC |b CIES-CAC |d 2018-02-20 |i 15377 |o 681.3.00 B73 |p 15377 |r 2018-02-20 00:00:00 |w 2018-02-20 |y BK | ||