Login / Signup
Wellordering Proofs for Metapredicative Mahlo.
Thomas Strahm
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