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 2906454 obálek a 877212 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

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

Upravit anotaci
 

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.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)