|
Related terms:
logika
frege
axioms
modal logic
axiomatic
deductive
undecidable
recursion theory
inference
intuitionistic logic
propositions
mathematical logic
principia mathematica
logic
theorem
proof
Wikipedia sources: Mathematical logic Mathematical proof Logic Theorem Context for words: proof theory |
|