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 2916299 obálek a 882825 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
The Mathematical Analysis of Logic (Key Texts) | |||||
|
|
Rok: 1998 AnotaceGeorge Boole (1815-1864) is renowned as the first logician to apply algebraic methods to logic successfully. His Mathematical Analysis of Logic, first published in 1847, was the ground-breaking work that laid the foundations for what is known today as Boolean algebra and the propositional calculus. Written in response to the altercation between Sr. William Hamilton and Augustus de Morgan over the quantification of the predicate within syllogistic theory, its remarkable innovations led other logicians, among them William Stanley Jevons, John Venn, Charles Sanders Peirce, and Ernst Schrder, to refine and develop Boole's system. In turn, their efforts were incorporated by Alfred North Whitehead and Bertrand Russell into the monumental system of Principia Mathematica. In short, modern symbolic logic was founded in the pages of this book. Dostupné zdroje
| ||||