Tools

LEADER 01291cam 2200349 a 4500

001 ocm12216897;

005 20141212110736.0;

008 850613s1986 nyu b 001 0 eng ;

010 a| 85014071;

020 a| 0060422254;

035 a| (Sirsi) o12216897;

035 a| (OCoLC)12216897;

049 a| EREE;

050 00 a| QA76.9.A96b| G35 1986;

082 0 a| 511.32| 19;

100 1 a| Gallier, Jean H.=| ^A209894;

245 10 a| Logic for computer science :b| foundations of automatic theorem proving /c| Jean H. Gallier.;

300 a| xv, 511 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Harper & Row computer science and technology series;

504 a| Includes bibliographies and indexes.;

650 0 a| Automatic theorem proving.=| ^A88007;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

830 0 a| Harper & Row computer science and technology series.=| ^A665859;

919 a| BOOK;

596 a| 1;

998 a| 291174;

999 a| QA76.9.A96 G35 1986w| LCc| 1i| 30372004404189d| 3/6/2013e| 11/25/1989f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/3/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.

Author/creator	Gallier, Jean H.
Format	Book
Publication Info	New York, NY : Harper & Row, ©1986.
Description	xv, 511 pages ; 25 cm.
Subjects	Automatic theorem proving. Logic, Symbolic and mathematical.

Series	Harper & Row computer science and technology series Harper & Row computer science and technology series. ^A665859
Bibliography note	Includes bibliographies and indexes.
LCCN	85014071
ISBN	0060422254

Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.

Click here for more information about this title