"Lambek-Kalkül" . "Lambek-Kalkül" . . . .