Home Advanced Search

Advanced Search - Page 1

Computability theory, semantics, and logic programming
Computability theory, semantics, and logic programming
  • DJVU
  • English
  • Year: 1987
  • Author: Fitting, Melvin
Types, Tableaus, and Gödel’s God
Types, Tableaus, and Gödel’s God
  • PDF
  • English
  • Year: 2002
  • Author: Melvin Fitting (auth.)
Raymond Smullyan on Self Reference
Raymond Smullyan on Self Reference
  • EPUB
  • English
  • Year: 2018
  • Author: Melvin Fitting; Brian Rayman
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
  • PDF
  • English
  • Year: 2019
  • Author: Sergei Artemov, Melvin Fitting
Raymond Smullyan on self-reference
Raymond Smullyan on self-reference
  • PDF
  • English
  • Year: 2017
  • Author: Fitting, Melvin; Rayman, Brian (eds.)
Set Theory and the Continuum Problem
Set Theory and the Continuum Problem
  • PDF
  • English
  • Year: 1996
  • Author: Raymond M. Smullyan, Melvin Fitting