Login / Signup
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.
William Craig
Published in:
J. Symb. Log. (1957)
Keyphrases
</>
theoretical framework
probabilistic model
proof theory
expert systems
np complete
conceptual model