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.
Lectures in logic and set theory. Volume 2, Set theory
Autor: Tourlakis, George J.
Rok: 2003
ISBN: 9780521753746
OKCZID: 110208176
Vydání: 1st ed.
Citace (dle ČSN ISO 690):
TOURLAKIS, George J. Set theory [elektronický zdroj]. New York: Cambridge University Press, 2003. 1 online zdroj (xv, 575 p.). Lectures in logic and set theory, .2.
Hodnocení:
5.0 / 5
(6 hlasů)
Anotace
Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).