Login / Signup

A Generalization of Godel's Notion of Constructibility.

Azriel Levy
Published in: J. Symb. Log. (1960)
Keyphrases
  • expert systems
  • efficient computation
  • digital topology