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 3150940 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
The Classical Decision Problem
Rok: 1997
ISBN: 9783540570738
NKP-CNB: boa001-mzk01000175735
OKCZID: 110044324
Citace (dle ČSN ISO 690):
BÖRGER, Egon. The classical decision problem. Berlin: Springer, 1997. xii, 482 s. Perspectives in Mathematical Logic.
Anotace
This is the most complete and comprehensive treatment available in book form of the classical decision problem of mathematical logic and its role in modern computer science. A revealing analysis of the natural order of decidable and undecidable cases is given, and of particular interest to the reader will be the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the model-theoretic analysis of solvable cases. Many cases are treated here for the first time, and a great number of simple proofs and exercises have been included. The results and methods of the book have been used in logic, computer science & artifical intelligence.