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 2889424 obálek a 872219 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Algebry formalizující výrokové logiky



Rok: 2014
ISBN: 9788024439150
NKP-CNB: cnb002564235
OKCZID: 112773599

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



Dostupné zdroje

Svaz českých nakladatelů a knihkupců
Československá bibliografická databáze


Přidat komentář a hodnocení

Od: (127.0.0...)