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.
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Rok: 1993
ISBN: 9780521414135
OKCZID: 110076536
Citace (dle ČSN ISO 690):
ACZEL, Peter, ed., SIMMONS, Harold, ed. a WAINER, S. S., ed. Proof theory: a selection of papers from the Leeds Proof Theory Programme 1990. Cambridge: Cambridge University Press, c1992. x, 306 s.
Anotace
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.