Propositional Logic
Subtitle: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
Publisher: Cambridge University Press
Published: August 28, 1999
Language: eng
Format: Hardcover
Number of pages: 420
ISBN-13: 9780521630177
Subjects: Mathematical logic; Mathematical theory of computation; Science/Mathematics; Computers - General Information; Algorithms (Computer Programming); Philosophy Of Mathematics; Computers; Programming - General; Discrete Mathematics; Computer Science; Logic; Computers / Programming / Software Development; Computer logic; Computer algorithms; Computer Bks - General Information
First sentence: Mathematical logic has from its very beginning concerned itself with, amongst other things, a precise explication of the concept of proof, that is to say the concept of logical deduction.