Fitting, Melvin
First-order logic and automated theorem proving / Melvin Fitting. - 2nd ed. - Bronx, US : Springer-Verlag , cop. 1996 . - XVI, 326 p. : il. ; 25 cm. - (Graduate texts in computer science)
ISBN 0-387-94593-8
Demonstração de teoremas
Lógica matemática
LCC QA76.9
First-order logic and automated theorem proving / Melvin Fitting. - 2nd ed. - Bronx, US : Springer-Verlag , cop. 1996 . - XVI, 326 p. : il. ; 25 cm. - (Graduate texts in computer science)
ISBN 0-387-94593-8
Demonstração de teoremas
Lógica matemática
LCC QA76.9