The following pages link to Signature (logic)
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Extension by new constant and function names (links | edit)
- Sentence (mathematical logic) (links | edit)
- Institution (computer science) (links | edit)
- Truth-value semantics (links | edit)
- F-algebra (links | edit)
- Reduced product (links | edit)
- Tarski's axioms (links | edit)
- Generic filter (links | edit)
- Term algebra (links | edit)
- Transitive set (links | edit)
- Epsilon-induction (links | edit)
- Robinson arithmetic (links | edit)
- Morse–Kelley set theory (links | edit)
- Cantor's paradox (links | edit)
- Signature (disambiguation) (links | edit)
- Computer-assisted proof (links | edit)
- Church encoding (links | edit)
- Atomic model (mathematical logic) (links | edit)
- Logical equality (links | edit)
- Equiconsistency (links | edit)
- Implementation of mathematics in set theory (links | edit)
- Theory (mathematical logic) (links | edit)
- List of first-order theories (links | edit)
- Proof of impossibility (links | edit)
- Variable (mathematics) (links | edit)
- Turing's proof (links | edit)
- Type (model theory) (links | edit)
- Spectrum of a theory (links | edit)
- Hereditary set (links | edit)
- Logical truth (links | edit)
- Course-of-values recursion (links | edit)
- Vopěnka's principle (links | edit)
- Algebraic specification (links | edit)
- Structure (mathematical logic) (links | edit)
- Gentzen's consistency proof (links | edit)
- Logical constant (links | edit)
- Alphabet (formal languages) (links | edit)
- Relation algebra (links | edit)
- Atomic formula (links | edit)
- Tautology (logic) (links | edit)
- Abstract algebraic logic (links | edit)
- Truth predicate (links | edit)
- Leibniz operator (links | edit)
- Constructive set theory (links | edit)
- Satisfiability modulo theories (links | edit)
- Functional completeness (links | edit)
- Axiom of global choice (links | edit)
- Substitution (logic) (links | edit)
- Inhabited set (links | edit)
- Outline of algebraic structures (links | edit)