Andrzej Indrzejczak - autor

Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj...

Prezentowana praca jest pomyślana jako wprowadzenie do niezwykle bogatej i złożonej problematyki związanej z teorią i zastosowaniami rachunków sekwentowych. Chcąc zachować rozsądne rozmiary książki siłą rzeczy dokonano w niej wyboru zagadnień, które...

Podręcznik stara się realizować dwa cele praktyczne: - zaznajomienie studentów z tymi elementami analizy języka, które mogą wpłynąć na większą kontrolę precyzji wypowiedzi; - prezentację pewnych technik, które pozwalają na analizę poprawności...