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 3150393 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
The structure of proof : with logic and set theory
Autor: O'Leary, Michael L.
Rok: ©2002
ISBN: 9780130190772
OKCZID: 110208312
Citace (dle ČSN ISO 690):
O'LEARY, Michael L. The structure of proof: with logic and set theory. Upper Saddle River, New Jersey: Prentice Hall, [2002]. xiv, 418 stran.
Anotace
Rather than teach mathematics and the structure of proofs simultaneously, this book first introduces logic as the foundation of proofs and then demonstrates how logic applies to mathematical topics. This method ensures that the reader gains a firm understanding of how logic interacts with mathematics and empowers them to solve more complex problems. Topics include: Propositional Logic; Predicates and Proofs; Set Theory; Mathematical Induction; Number Theory; Relations and Functions; Ring Theory; Topology.