CLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
-
BTMATHEMATICAL LOGIC
-
UDC510.63
-
Descriptor GERKLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)
-
Descriptor ENGCLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
-
Descriptor FRESYSTÈMES LOGIQUES CLASSIQUES (LOGIQUE MATHÉMATIQUE)
-
Variant GERKLASSISCHE LOGISCHE THEORIEN (MATHEMATISCHE LOGIK)
-
Variant GERLOGISCHE THEORIEN/KLASSISCHE LOGISCHE THEORIEN (MATHEMATISCHE LOGIK)
-
Variant GERLOGISCHE SYSTEME/KLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)
-
Variant GERKLASSISCHE LOGIK (MATHEMATISCHE LOGIK)
-
Variant GERLOGIK/KLASSISCHE LOGIK (MATHEMATISCHE LOGIK)
-
Variant ENGCLASSICAL LOGICAL THEORIES (MATHEMATICAL LOGIC)
-
Variant ENGLOGICAL SYSTEMS/CLASSICAL LOGICAL SYSTEMS (MATHEMATICAL LOGIC)
-
Variant ENGLOGICAL THEORIES/CLASSICAL LOGICAL THEORIES (MATHEMATICAL LOGIC)
-
Variant ENGCLASSICAL LOGIC (MATHEMATICAL LOGIC)
-
Variant ENGLOGIC/CLASSICAL LOGIC (MATHEMATICAL LOGIC)
-
Variant FRETHÉORIES LOGIQUES CLASSIQUES (LOGIQUE MATHÉMATIQUE)
-
Variant FRELOGIQUE/SYSTÈMES LOGIQUES CLASSIQUES (LOGIQUE MATHÉMATIQUE)
-
Variant FRELOGIQUE CLASSIQUE (LOGIQUE MATHÉMATIQUE)
-
NTFORMAL CONCEPT ANALYSIS (MATHEMATICAL LOGIC)
-
NTINTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)
-
NTCATEGORIAL GRAMMARS (MATHEMATICAL LOGIC)
-
NTSECOND ORDER LOGIC (MATHEMATICAL LOGIC)
-
NTLOGICAL SEMANTICS + SEMANTIC ANTINOMIES (MATHEMATICAL LOGIC)
-
NTPREDICATE LOGIC (MATHEMATICAL LOGIC)
-
NTRELEVANT LOGIC (MATHEMATICAL LOGIC)
-
NTINTENSIONAL LOGIC (MATHEMATICAL LOGIC)
-
NTLOGIC OF KNOWLEDGE (MATHEMATICAL LOGIC)