FITTING, Melvin. First-order logic and automated theorem proving. 2nd ed. New York ; Berlin ; Heidelberg : Springer Verlag, c1996. Graduate texts in computer science. ISBN 0387945938.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.