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 3152128 obálek a 950683 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Rok: 1996
ISBN: 9780133963755
OKCZID: 110056638
Citace (dle ČSN ISO 690):
KELLY, John J. The essence of logic. London: Prentice Hall, c1997. xiv, 258 s. Essence of computing series.
Hodnocení:
5.0 / 5
(6 hlasů)
A concise introduction to formal logic that requires little previous mathematical knowledge, this book prepares readers for analysis and application of logic techniques in computing. It covers a wide range of topics, including truth tables, semantic tableaux, natural deduction--axiomatic, propositional, modal and predicate logic, and historical sketches that help students appreciate logic as a living enterprise.