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 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Proofs and types
Autor: Girard, Jean-Yves.
Rok: 1990.
ISBN: 9780521371810
OKCZID: 110079194
Citace (dle ČSN ISO 690):
GIRARD, Jean-Yves. Proofs and types. Cambridge: Cambridge University Press, 1990. xi, 176 s. Cambridge Tracts in Theoretical Computer Science, 7.
Anotace
This book is derived from notes prepared by J-Y.Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.