El libro está agotado actualmente
Parámetros
Más información sobre el libro
This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
Compra de libros
First order logic and automated theorem proving, Melvin Fitting
- Idioma
- Publicado en
- 1996
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nos falta tu reseña aquí