Home Advanced Search

Advanced Search - Page 1

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.)
Raymond Smullyan on Self Reference
  • EPUB
  • English
  • Year: 2018
  • Author: Melvin Fitting; Brian Rayman
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
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.)
Foundations: Logic, Language, and Mathematics
  • PDF
  • English
  • Year: 1984
  • Author: Melvin Fitting (auth.), Hugues Leblanc, Elliott Mendelson, Alex Orenstein (eds.)
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
  • PDF
  • English
  • Year: 2019
  • Author: Sergei Artemov, Melvin Fitting
search