1. Crosswordclues
  2. Mathematical logic

Crossword Dictionary

Enter a description, or enter a word with dots for missing letters

Show answer

83 crossword answers for “Mathematical logic”

4 letters
TERM
6 letters
LUDICS
7 letters
DIAGRAM
LITERAL
T-SCHEMA
WITNESS
8 letters
COUNTING
EQUALITY
FINITARY
FRAGMENT
UNIVERSE
9 letters
ALGORITHM
HUB LABELS (3,6)
MEREOLOGY
METALOGIC
PREDICATE
REWRITING
SET THEORY (3,6)
TAUTOLOGY
10 letters
LAVER TABLE (5,5)
11 letters
JÓNSSON TERM (8,4)
MODEL THEORY (5,6)
PROOF THEORY (5,6)
SPECIAL CASE (7,4)
12 letters
ABSOLUTENESS
BUNCHED LOGIC (7,5)
COMPLETENESS
DEFINABLE SET (9,3)
END EXTENSION (3,9)
LOGICAL GRAPH (7,5)
ORDINAL LOGIC (7,5)
QUANTUM LOGIC (7,5)
13 letters
ABSTRACT LOGIC (8,5)
COHERENT SPACE (8,5)
CONTRADICTION
DIAGONAL LEMMA (8,5)
INFINITESIMAL
LÉVY HIERARCHY (5,9)
STRUCTURALISM
TRUTH FUNCTION (5,8)
14 letters
COMPLETE THEORY (8,6)
CONTRAPOSITION
CYCLIC NEGATION (6,8)
DEDEKIND NUMBER (8,6)
GÖDEL NUMBERING (6,9)
LOGICAL MACHINE (7,7)
OBJECT LANGUAGE (6,8)
15 letters
ALGEBRAIC THEORY (9,6)
CARTESIAN MONOID (9,6)
ENTITATIVE GRAPH (10,5)
EQUATIONAL LOGIC (10,5)
EQUICONSISTENCY
IMPREDICATIVITY
KRIPKE SEMANTICS (6,9)
LOWERUNIVALENTS
METAMATHEMATICS
16 letters
BETH DEFINABILITY (4,12)
CONVERSE RELATION (8,8)
ELEMENTARY THEORY (10,6)
FINITARY RELATION (8,8)
GROUND EXPRESSION (6,10)
17 letters
ALGEBRAIC SENTENCE (9,8)
FORMAL CALCULATION (6,11)
HERBRAND STRUCTURE (8,9)
MATHEMATICAL PROOF (12,5)
SUCCESSOR FUNCTION (9,8)
WELL-FORMED FORMULA (11,7)
18 letters
ALGEBRAIC SEMANTICS (9,9)
CRAIG INTERPOLATION (5,13)
ELEMENTARY SENTENCE (10,8)
LOGICAL EQUIVALENCE (7,11)
REVERSE MATHEMATICS (7,11)
19 letters
ALGEBRAIC DEFINITION (9,10)
COMPUTABILITY THEORY (13,6)
20 letters
CLASSICAL MATHEMATICS (9,11)
ELEMENTARY DEFINITION (10,10)
21 letters
CONSERVATIVITY THEOREM (14,7)
FORMULARIO MATHEMATICO (10,11)
HYPOSTATIC ABSTRACTION (10,11)
SUPERPOSITION CALCULUS (13,8)
22 letters
HERBRAND INTERPRETATION (8,14)
SEMICOMPUTABLE FUNCTION (14,8)
25 letters
SCHRÖDER-BERNSTEIN PROPERTY (19,8)