Cena: 90 Kč
Úvod do formální logiky a přehled různých typů důkazů používaných v matematice.
Vydal: SNTL - Nakladatelství technické literatury
Počet stran: 164, 60 obrázků
Stav: Nakladatelská vazba, 210x148, nažloutlá stářím, jinak pěkná
Kód: OL
Ilustroval:
Edice: Polytechnická knižnice - Věda a technika populárně
Rok vydání: 1986
Vydání: II., nezměněné, náklad: 5 000 výtisků