Področje: Information technology and data processing
Dansko: anden ordens logik, anden ordens prædikatskalkyle, logik af anden orden, prædikatskalkyle af anden orden Nemško: Prädikatenlogik 2.Ordnung Grško: κατηγορηματική λογική δευτέρου βαθμού, κατηγορηματικός λογισμός δευτέρου βαθμού, λογική δευτέρου βαθμού Angleško: second-order predicate calculus, second-order predicate logic Špansko: cálculo de predicados de segundo orden, lógica de predicados de segundo orden, lógica de segundo orden Finsko: toisen kertaluvun logiikka, toisen kertaluvun predikaattilaskenta, toisen kertaluvun predikaattilogiikka Francosko: logique d'ordre 2, logique du deuxième ordre Italijansko: logica del secondo ordine Nizozemsko: tweede orde logica, tweede orde predikatenlogica, tweede orde predikatenrekening Portugalsko: lógica de predicados de segunda ordem Švedsko: andra ordningens logik
Dostopnost