MARC 主機 00000nam  22000001  4500 
001       63003816 //r842 
008    841130s1963    ne a     b    00010 eng   
010    63003816 //r842 
040    DLC/ICU|cICU 
050 0  QA76|b.B7 
082 0  519.92 
100 10 Braffort, P.|q(Paul),|eed 
245 10 Computer programming and formal systems.|cEdited by P. 
       Braffort and D. Hirschberg 
260 0  Amsterdam,|bNorth-Holland Pub. Co.,|c1963 
300    vi, 161 p.|billus.|c22 cm 
440  0 Studies in logic and the foundations of mathematics 
500    Imprint covered by label: New York, Humanities Press 
504    Includes bibliographies 
650  0 Programming (Electronic computers)|xAddresses, essays, 
       lectures 
700 10 Hirschberg, D.|q(David),|ejoint ed 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76 .B7    在架上    303402M9574600