A quote from that free textbook:  “Für die Repräsentation der Bedeutung verwende ich die Prädikatenlogik erster Stufe und den λ-Kalkül.” Translation: “For the representation of meaning I’ll use first-level predicate logic and lambda calculus.”

…Is it too late to change my field to something I understand?

Advertisements