Login / Signup
On the Interpretation of Non-Finitist Proofs - Part I.
Georg Kreisel
Published in:
J. Symb. Log. (1951)
Keyphrases
</>
high level
table of contents
semantic interpretation
theorem proving
image interpretation
lecture notes
theorem prover
formal proof
mathematical proofs