LOGIK ZWEITER STUFE (MATHEMATISCHE LOGIK)
-
BTKLASSISCHE LOGISCHE SYSTEME (MATHEMATISCHE LOGIK)
-
UDC510.636
-
Descriptor GERLOGIK ZWEITER STUFE (MATHEMATISCHE LOGIK)
-
Descriptor ENGSECOND ORDER LOGIC (MATHEMATICAL LOGIC)
-
Descriptor FRELOGIQUE DE SECOND DEGRÉ (LOGIQUE MATHÉMATIQUE)
-
Variant ENGLOGIC/SECOND ORDER LOGIC (MATHEMATICAL LOGIC)