Celem niniejszej monografii jest przedstawienie formalnego opisu wybranych zjawisk języka polskiego oraz implementacji prototypu parsera (tj. programu określającego strukturę składniową wypowiedzeń) języka polskiego opartego na tym opisie.W książce zawarte zostały szczegółowe opisy zjawisk tak systematycznych i typowych dla języka polskiego, jak koordynacja, różnorakie związki zgody czy nadawanie wartości przypadka, ale także opisy zjawisk, które nie zostały wcześniej tak szeroko opisane, takich jak zależności nielokalne w zdaniach względnych, dalekie uzgodnienie negacji czy też koreferencja zaimków anaforycznych. Praca niniejsza zawiera także opis implementacji prototypu parsera języka polskiego opartego na zaproponowanych tutaj rozwiązaniach teoretycznych.Książka ta adresowana jest do czterech grup czytelników:- do informatyków zainteresowanych automatycznym przetwarzaniem języków naturalnych, przede wszystkim języka polskiego- do matematyków i logików zainteresowanych zaksjomatyzowanym opisem języków naturalnych- do osób zainteresowanych językiem polskim, jego składnią, zjawiskami z pogranicza składni i semantyki oraz z pogranicza składni i morfologii- do lingwistów zainteresowanych współczesnymi teoriami lingwistycznymi.