LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC)
-
BTMATHEMATICAL LOGIC
-
UDC510.65
-
Descriptor GERLOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK)
-
Descriptor ENGLOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC)
-
Descriptor FRETHÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE)
-
Variant FRELOGICO-MATHÉMATIQUE/THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE)
-
NTFORMAL NUMBER THEORY (MATHEMATICAL LOGIC)