First order logic and automated theorem proving

FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938.

Základní údaje

• Originální název: First order logic and automated theorem proving
• Autoři: FITTING, Melvin.
• Vydání: 2nd ed. New York, xvi, 326, 1996.
• Nakladatel: Springer

Další údaje

• ISBN: 0387945938