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 2904735 obálek a 876171 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic for mathematics and computer science | |||||
Autor: Burris, Stanley N. Hodnocení: 2.5 / 5 (6 hlasů) AnotaceThis book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics. Dostupné zdroje
|