Home Advanced Search

Advanced Search - Page 1

Foundations: Logic, Language, and Mathematics
  • PDF
  • English
  • Year: 1984
  • Author: Melvin Fitting (auth.), Hugues Leblanc, Elliott Mendelson, Alex Orenstein (eds.)
Exact Philosophy: Problems, Tools, and Goals
  • PDF
  • English
  • Year: 1973
  • Author: Hugues Leblanc (auth.), Mario Bunge (eds.)
Types, Tableaus, and Gödel’s God
  • PDF
  • English
  • Year: 2002
  • Author: Melvin Fitting (auth.)
Proof Methods for Modal and Intuitionistic Logics
  • PDF
  • English
  • Year: 1983
  • Author: Melvin Fitting (auth.)
Introduction to Mathematical Logic
  • PDF
  • English
  • Year: 1987
  • Author: Elliott Mendelson (auth.)
Raymond Smullyan on self-reference
  • PDF
  • English
  • Year: 2017
  • Author: Fitting, Melvin; Rayman, Brian (eds.)
Raymond Smullyan on Self Reference
  • PDF
  • English
  • Year: 2017
  • Author: Melvin Fitting,Brian Rayman (eds.)
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