Items related to Applied Logic for Computer Scientists: Computational...

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Softcover

Ayala-Rincón, Mauricio; De Moura, Flávio L. C.

 
9783319516523: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Softcover
ISBN 10: 3319516523 ISBN 13: 9783319516523
Publisher: Springer, 2017

This specific ISBN edition is currently not available.

Synopsis

Foreword. - Preface.- Introduction.- Derivation and Proofs in the Propositional Logic.- Derivations and Proofs in the Predicate Logic.- Deductions in the Style of Gentzen's Sequent Calculus.- Derivations and Formalizations.- Algebraic and Computational Examples.- Suggested Readings.- Index.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2017
  • ISBN 10 3319516523
  • ISBN 13 9783319516523
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319516516: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Featured Edition

ISBN 10:  3319516515 ISBN 13:  9783319516516
Publisher: Springer, 2017
Softcover