Cargando…
First-Order Logic and Automated Theorem Proving /
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for compu...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York, NY :
Springer New York,
1996.
|
| Edición: | Second edition. |
| Colección: | Graduate texts in computer science.
|
| Temas: | |
| Acceso en línea: | Texto completo |