Melvin Fitting

Books 3

Ranked by Open Library ratings and reading logs. One edition per work.

• First-Order Logic and Automated Theorem Proving

  

  First-Order Logic and Automated Theorem Proving

  1 readers 1996

• First-order modal logic

  

  First-order modal logic

  1 readers 1998

• Incompleteness in the Land of Sets (Studies in Logic)

  

  Incompleteness in the Land of Sets (Studies in Logic)

  1 readers 2007