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 3151204 obálek a 950590 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.
Rok: c1998.
ISBN: 9780132859745
OKCZID: 110114548
Citace (dle ČSN ISO 690):
BURRIS, Stanley N. Logic for mathematics and computer science. Upper Saddle River: Prentice Hall, c1998. xix, 420 s.
Hodnocení:
2.5 / 5
(6 hlasů)
Anotace
This 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.