A new proof of completeness.

R. L. Goodstein

Published in: Notre Dame J. Formal Log. (1972)

Keyphrases

theorem proving
genetic algorithm
image sequences
theorem prover
mathematical proofs
database
databases
artificial intelligence
multimedia
expert systems
data quality
linear logic
formal proofs