Angielski ⇄ Angielski Chiński Duński Fiński Francuski Grecki Hiszpański Niderlandzki Niemiecki Portugalski Rosyjski Szwedzki Ukraiński Włoski +

first-order logic
komp.	Prädikatenkalkül erster Stufe
sztuczn.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
first order logic
posp.	Prädikatenlogik der ersten Stufe
technol.	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
Angielski tezaurus
first-order logic
mat.	first-order predicate logic (ssn)

First-order Logic : 7 do fraz, 2 tematyki

Sztuczna inteligencja	4
Technologia informacyjna	3