Syndetics cover image
Image from Syndetics

The essence of logic / John J. Kelly.

By: Material type: TextTextSeries: The Essence of computing seriesPublication details: London : Prentice Hall, 1997.ISBN:
  • 0133963756
Subject(s): DDC classification:
  • 005.131 20
Contents:
1. Truth Tables -- 2. Semantic Tableaux -- 3. Natural Deduction.
Review: "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.
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 4403894741
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 4403894750
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 440501529X
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 4405015342
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 4405015324
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 4405015333
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 4405015315
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 005.131 KEL (Browse shelf(Opens below)) Available 4405015306
Total holds: 0

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.