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 3159878 obálek a 951699 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic, Induction and Sets (London Mathematical Society Student Texts)
Rok: 2003
ISBN: 9780521533614
OKCZID: 110218449
Hodnocení:
4.0 / 5
(6 hlasů)
Anotace
Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.