Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3143412 obálek a 948809 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Algebry formalizující výrokové logiky
Rok: 2014
ISBN: 9788024439150
NKP-CNB: cnb002564235
OKCZID: 112773599
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
CHAJDA, Ivan. Algebry formalizující výrokové logiky. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2013, 62 s. Skripta. ISBN 978-80-244-3915-0.
Anotace
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.
Zdroj anotace: Web obalkyknih.cz
