Andrzej Indrzejczak

Andrzej Indrzejczak, Marek Nowak

Metody logiki. Dedukcja

Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. …