کتاب های Fitting
Types, Tableaus, and Gödel’s God
Melvin Fitting, 2002
First-order logic and automated theorem proving.
Fitting, Melvin, 2013
Justification Logic: Reasoning with Reasons
Sergei Artemov; Melvin Fitting, 2019
Ultrasonic Spectral Analysis for Nondestructive Evaluation
Dale W. Fitting, Laszlo Adler, 1981
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
Sergei Artemov, Melvin Fitting, 2019
First-Order Logic and Automated Theorem Proving
Melvin Fitting, 1996
Types, Tableaus, and Gödel's God
Melvin Fitting, 2002
First-Order Logic and Automated Theorem Proving
Melvin Fitting, 1990
