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 ...
Monografia zawiera najważniejsze elementy aksjomatycznej teorii mnogości Zermelo-Fraenkla z aksjomatem wyboru: aksjomatykę, definicje podstawowych pojęć, teorie relacji binarnych, częściowo porządk...
Chodząc po świecie, zawsze się wdepnie w coś zabawnego. Korzysta z tego Marek Nowak w swoim zbiorze opowiadań. Teksty oparte są na absurdalnym humorze, jednak ich zakotwiczenie w naszej rzeczywisto...