Editorial | Springer |
---|---|
Edición | 2nd ed. 1996. Softcover reprint of the original 2n(26/06/2013) | Páginas | 348 |
Idioma | Inglés |
ISBN | 9781461275152 |
ISBN-10 | 1461275156 |
Autor/es | Melvin Fitting |
---|---|
Editorial | Springer |
Edición | 2nd ed. 1996. Softcover reprint of the original 2n(26/06/2013) | Páginas | 348 |
Idioma | Inglés |
ISBN | 9781461275152 |
ISBN-10 | 1461275156 |
El autor de First-Order Logic and Automated Theorem Proving, con isbn 978-1-4612-7515-2, es Melvin Fitting, esta publicación tiene trescientas cuarenta y ocho páginas.
Resumen
Otros libros de Melvin Fitting son Numbers, Justification Logic, Incompletetude Na Terra Dos Conjuntos, Beyond Two: Theory And Applications Of Multiple-valued Logic y Incompleteness In The Land Of Sets.