Wellordering Proofs for Metapredicative Mahlo.

Published in: J. Symb. Log. (2002)

Keyphrases

theorem prover
theorem proving
formal proof
natural deduction
database
databases
database systems
pattern recognition
multi agent systems
expert systems
search space
special case
computer programs
automated theorem provers