Algebry formalizující výrokové logiky
edice: Skripta
Skriptum je určeno posluchačům oboru Diskrétní matematiky jako učební text pro Aplikace diskrétní matematiky, dále pak studentům doktorského studijního programu Matematika — Algebra a geometrie, a ...
Skriptum je určeno posluchačům oboru Diskrétní matematiky jako učební text pro Aplikace diskrétní matematiky, dále pak studentům doktorského studijního programu Matematika — Algebra a geometrie, a konečně všem studentům magisterského studia matematiky se zájmem o logiku, svazy a jejich aplikace.
číst celou anotaci
nakladatel: Univerzita Palackého v Olomouci
vydána: 2013, Olomouc, 1. vydání
vazba: brožovaná, 62 stran
ISBN: 9788024439150
(OCoLC): 872342820