| Record ID | marc_records_scriblio_net/part05.dat:70211321:786 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part05.dat:70211321:786?format=raw |
LEADER: 00786cam 22002291 4500
001 63003816 //r842
003 DLC
005 19990112161321.9
008 841130s1963 ne a b 00010 eng
010 $a 63003816 //r842
040 $aDLC/ICU$cICU$dDLC
050 00 $aQA76$b.B7
082 00 $a519.92
100 10 $aBraffort, P.$q(Paul),$eed.
245 10 $aComputer programming and formal systems.$cEdited by P. Braffort and D. Hirschberg.
260 0 $aAmsterdam,$bNorth-Holland Pub. Co.,$c1963.
300 $avi, 161 p.$billus.$c22 cm.
440 0 $aStudies in logic and the foundations of mathematics
500 $aImprint covered by label: New York, Humanities Press.
504 $aIncludes bibliographies.
650 0 $aComputer programming.
700 10 $aHirschberg, D.$q(David),$ejoint ed.