Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Fundamentals of mathematical logic
Autor:		Hinman, Peter G.
Rok vydání:		c2005
Identifikátory:		9781568812625

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	This introductory graduate text covers modern mathematical logic from propositional, first-order, higher-order and infinitary logic and Gödel’s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author’s more than 35 years of teaching experience, the book develops students’ intuition by presenting complex ideas in the simplest context for which they make sense. He also provides extensive introductions to set theory, model theory and recursion (computability) theory, which allows this book to be used as a classroom text, for self-study, and as a reference on the state of modern logic.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)