Tools

LEADER 01193cam 22003738i 4500

001 ocm05100882;

005 20141212022151.0;

008 790523s1979 nyu b 001 0 eng ;

010 a| 79052483;

020 a| 0444194673;

035 a| (Sirsi) o05100882;

035 a| (OCoLC)5100882;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| ERE*;

050 00 a| BC177b| .R62;

082 0 a| 160;

100 1 a| Robinson, J. A.q| (John Alan)=| ^A271846;

245 10 a| Logic, form and function :b| the mechanization of deductive reasoning /c| J. A. Robinson.;

263 a| 7912;

300 a| 312 pages ;c| 23 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Includes index.;

504 a| Bibliography: p. [330]-302.;

650 0 a| Reasoning.=| ^A18484;

650 0 a| Form (Logic)=| ^A62907;

650 0 a| Predicate calculus.=| ^A30206;

650 0 a| Inference.=| ^A14254;

919 a| BOOK;

596 a| 1;

998 a| 161965;

999 a| BC177 .R62w| LCc| 1i| 310372001867186d| 5/5/2009f| 4/22/2009g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 6/8/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Logic, form and function : the mechanization of deductive reasoning / J. A. Robinson.

Author/creator	Robinson, J. A.
Format	Book
Publication Info	New York : North-Holland, ©1979.
Description	312 pages ; 23 cm
Subjects	Reasoning. Form (Logic) Predicate calculus. Inference.

General note	Includes index.
Bibliography note	Bibliography: p. [330]-302.
LCCN	79052483
ISBN	0444194673

Logic, form and function : the mechanization of deductive reasoning / J. A. Robinson.

Click here for more information about this title