Home Advanced Search

Advanced Search - Page 1

First-Order Modal Logic
  • PDF
  • English
  • Year: 1998
  • Author: Melvin Fitting, Richard L. Mendelsohn
Computability theory, semantics, and logic programming
  • DJVU
  • English
  • Year: 1987
  • Author: Fitting, Melvin
First-Order Logic and Automated Theorem Proving
  • DJVU
  • English
  • Year: 1996
  • Author: Melvin Fitting
Incompleteness in the Land of Sets
  • DJVU
  • English
  • Year: 2007
  • Author: Melvin Fitting
First-Order Logic and Automated Theorem Proving
  • DJVU
  • English
  • Year: 1990
  • Author: Melvin Fitting
First-Order Logic and Automated Theorem Proving
  • PDF
  • English
  • Year: 1996
  • Author: Melvin Fitting
Types, Tableaus, and Gödel’s God
  • PDF
  • English
  • Year: 2002
  • Author: Melvin Fitting
Intuitionistic logic, model theory and forcing
  • DJVU
  • English
  • Year: 1969
  • Author: Melvin Fitting
First-Order Logic and Automated Theorem Proving
  • DJVU
  • English
  • Year: 1990
  • Author: Melvin Fitting
Types, Tableaus, and Gödel's God
  • DJVU
  • English
  • Year: 2002
  • Author: Melvin Fitting
search