Capa do artigo First-Order Logic And Automated Theorem Proving
10% OFF

First-Order Logic And Automated Theorem Proving eBook

by Melvin Fitting
language: english
Publisher: SPRINGER NEW YORK, December of 2012 ‧
98,71€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

First-Order Logic And Automated Theorem Proving

by Melvin Fitting

Property Description
ISBN: 9781461223603
Publisher: SPRINGER NEW YORK
Release Date: December of 2012
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Texts In Computer Science
Categories: eBooks in English > Computing > Other Applications
EAN: 9781461223603

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

MELVIN FITTING

SEE MORE TITLES BY THIS AUTHOR