Gaya APA
Fitting, Melvin. (1996).
First-Order Logic and Automated Theorem Proving .
New York:
Springer-Verlag.
Gaya Chicago
Fitting, Melvin.
First-Order Logic and Automated Theorem Proving.
New York:
Springer-Verlag,
1996.
.
Gaya MLA
Fitting, Melvin.
First-Order Logic and Automated Theorem Proving.
New York:
Springer-Verlag,
1996.
.
Gaya Turabian
Fitting, Melvin.
First-Order Logic and Automated Theorem Proving.
New York:
Springer-Verlag,
1996.
.