Kniha je úvodem do alternativních systémů výrokové logiky. Vychází ze standardní, klasické ...
Učebnice logiky, která vede čtenáře od výrokové logiky přes predikátovou logiku k metamatematice ...