Logika… Daj się uwieść!

Christoph Drösser wprowadza czytelnika w świat poprawnego wnioskowania, poczynając od sylogistycznej logiki klasycznej, poprzez nowoczesne teorie, autorstwa np. George’a Boole’a lub Bertranda Russella, od teorii dowodu i teorii mnogości i informatyki teoretycznej aż do logiki...