Login / Signup
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations.
Jan Krajícek
Pavel Pudlák
Published in:
J. Symb. Log. (1989)
Keyphrases
</>
classical first order logic
first order logic
management system
logic programming
higher order
complex systems
decision problems
theorem prover
horn clauses
worst case
theoretical framework
temporal logic
set intersection