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
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 25, 2021 | 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

Previews available in: English

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
Libraries near you: WorldCat
Cover of: Propositional Logic
Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
August 28, 1999, Cambridge University Press
Hardcover in English
  • Not in Library
Libraries near you: WorldCat

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

ID Numbers

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

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 25, 2021 Edited by ImportBot import existing book
July 31, 2019 Edited by MARC Bot associate edition with work OL4817327W
July 7, 2019 Edited by MARC Bot import existing book
December 3, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page