Jesteśmy społecznością, która kocha książki

Książka jest adresowana do czytelnika, który rozumie podstawy logiki matematycznej, podstawowe pojęcia z zakresu algebr ogólnych oraz język lambda-abstrakcji. Na łamach tekstu autor przeprowadza czytelnika przez pojęcia dotyczące gramatyk kategorialnych oraz uczula na nowy sposób analizy języka. Niewątpliwą wartością książki jest podejście uwzględniające najnowsze kierunki rozwoju matematyki, jak np. teoria kategorii, która chociaż nie jest wymieniona w tekście wprost, to jednak zachowuje swoją obecność w operacyjnym podejściu do typizacji i semantyki. Praca napisana jest z odpowiednim naukowym kunsztem, podstawy tematu zostają pieczołowicie domkniete, co niewątpliwie skłania do dalszych osobistych refleksji i analiz. Jedynym minusem może być pozostawianie pewnych niedopowiedzeń w aspekcie opisu języka formalnego, które sprawiają, że czasami trzeba samemu głebiej przeanalizować przedstawione przekształcenia. Zdecydowanie pozycja warta polecenia dla każdego, kogo interesują zagadnienia lingwistyczne.