An edition of Propositional logic (1999)

Propositional Logic

Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)

by , , and

  • 1 Want to read
Cover of: Propositional Logic by H. Kleine Büning, Hans Kleine Büning, Theodor Lettmann, Hans Kleine Büning, Theodor Lettmann
Locate

My Reading Lists:

Create a new list

Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 31, 2019 | History
Edit
An edition of Propositional logic (1999)

Propositional Logic

Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)

by , , and

  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
420

Check nearby libraries

Buy this book

Subjects

Computer algorithms, Computer logic, Algorithmes, Algorithme, Automatische bewijsvoering, Logique propositionnelle, Logique (Informatique), Algoritmen, Structure de données, Algorithme résolution, Démonstration automatique de théorèmes, Déduction, Calcul propositionnel, Aussagenlogik, Satisfiabilité, Clause Horn, Logique informatique, 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 Bks - General Information, Logic, symbolic and mathematical
Edition Availability
Cover of: Propositional logic
Propositional logic: deduction and algorithms
1999, Cambridge University Press
in English
Cover of: Propositional Logic
Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
August 28, 1999, Cambridge University Press
Hardcover in English

Add another edition?

Book Details

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."

The Physical Object

Format
Hardcover
Number of pages
420
Dimensions
9.2 x 6 x 1 inches
Weight
1.5 pounds

Edition Identifiers

Open Library
OL7749360M
ISBN 10
0521630177
ISBN 13
9780521630177
LibraryThing
2623401
Goodreads
6939672

Work Identifiers

Work ID
OL4817327W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 31, 2019 Edited by MARC Bot associate edition with work OL4817327W
August 6, 2010 Edited by IdentifierBot added LibraryThing ID
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
April 29, 2008 Created by an anonymous user Imported from amazon.com record