The essence of logic / John J. Kelly.
Material type:
TextSeries: The Essence of computing seriesPublication details: London : Prentice Hall, 1997. ISBN: 0133963756Subject(s): Logic programming | Logic, Symbolic and mathematicalDDC classification: 005.131 | Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 4403894741 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 4403894750 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 440501529X | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 4405015342 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 4405015324 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 4405015333 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 4405015315 | ||
|
Two Week Loan
|
College Lane Learning Resources Centre Main Shelves | 005.131 KEL (Browse shelf(Opens below)) | Available | 4405015306 |
Enhanced descriptions from Syndetics:
Bibliography: p250. - Includes index.
1. Truth Tables -- 2. Semantic Tableaux -- 3. Natural Deduction.
"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."--BOOK JACKET.