Home Advanced Search

Advanced Search - Page 1

Intuitionistic Logic Model Theory and Forcing
  • PDF
  • English
  • Year: 1969
  • Author: Melvin Chris Fitting (Eds.)
Fundamentals of generalized recursion theory
  • DJVU
  • English
  • Year: 1981
  • Author: Melvin Chris Fitting
Fundamentals of generalized recursion theory
  • DJVU
  • English
  • Year: 1981
  • Author: Melvin Chris Fitting
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
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
search