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.
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
Rok: 2008
ISBN: 9783540775324
OKCZID: 110408962
Citace (dle ČSN ISO 690):
KOHLENBACH, Ulrich. Applied proof theory: proof interpretations and their use in mathematics. Berlin: Springer, c2008. xix, 532 s. Sprigner monographs in mathematics.
Anotace
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.