a ISBN 0-13-396375-6

a Original cataloging agency NEU GrandLibrary

a Language code of text/sound track or separate title eng

a Classification number QA76

b Item number .K396 1997

a Personal name Kelly, John J.

d Dates associated with a name 1940 November 23-1995.

a Title Essence of logic /

c Statement of responsibility, etc John J. Kelly.

h Medium BOOK

a Title proper/short title Logic

a Place of publication, distribution, etc London ;

a Place of publication, distribution, etc New York :

b Name of publisher, distributor, etc Prentice Hall,

c Date of publication, distribution, etc 1997.

a Extent xiv, 258 p. :

b Other physical details ill. ;

c Dimensions 24 cm.

a Bibliography, etc Includes bibliographical references (p. 250) and index.

a Summary, etc The Essence of Logic is an exciting new publication that provides a concise introduction to formal logic. Making little demands on previous mathematical knowledge, this comprehensive text prepares the reader for the analysis and application of logic techniques in computing. It can also be used for the study of mathematical logic in its own right. Extensive in its coverage, each new concept is gently introduced, and then reinforced by numerous exercises and examples. This practical approach quickly develops skills needed to apply logic in a wide range of computer science disciplines.

a Topical term or geographic name as entry element Computer science.

a Topical term or geographic name as entry element Logic, Symbolic and mathematical.