Logic: form and function. The mechanization of deductive reasoning.

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Robinson, John Alan
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: Edinburgh University Press 1979
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Order eBook:
Order Book: Login to order

MARC

LEADER 00000nam a2200000 c 4500
001 2035726
007 tu
041 |a eng 
100 1 |a Robinson, John Alan 
245 1 0 |a Logic: form and function.  |b The mechanization of deductive reasoning. 
246 3 |a ROBINSON,J(ohn)A(lan): 
264 1 |a Edinburgh  |b University Press  |c 1979 
300 |a 312 S.  |c 8° 
500 |a ROBINSON,J(ohn)A(lan): -- Logic:form and function.The mechanization -- of deductive reasoning. - Edinburgh:Uni- -- versity Press(1979). 312 S. 8° -- 1980:6868/gb. -- Wd. 
852 |c 424.644 
999 |a Monographie 
591 |a description: Edinburgh: University Press 1979. 312 Seiten. 8° 1980:6868/gb. Wd.  |a signature: 424.644  |a author: ROBINSON, John Alan  |a published: 1979  |a title: 1979