SłownikiForumKontakt

Google | Forvo | +

second-order predicate calculus

sztuczn. Prädikatenkalkül zweiter Ordnung (Stufe); Prädikatenlogik zweiter Ordnung (Stufe); Quantorenlogik zweiter Ordnung (Stufe)
technol. Prädikatenlogik 2.Ordnung

Dodaj | Zgłoś błąd | Krótki link