libcats.org
Главная

Mathematical Logic in the 20th Century

Обложка книги Mathematical Logic in the 20th Century

Mathematical Logic in the 20th Century

This anthology contains 31 significant papers in mathematical logic, mostly published in the second half of the twentieth century. Sacks, selecting on the basis of brevity as well as results, includes the work of Godel ("Consistency-Proof for the Generalized Continuum- Hypothesis"), Kleene ("Recursive Functionals and Quantifiers of Finite Types"), Tarski ("A Decision Method for Elementary Algebra and Geometry"), Robinson ("Non-Standard Analysis"), Kriesel ("Model- Theoretic Invariants"), Cohen (both parts of "The Independence of the Continuum Hypothesis"), Morley ("Categoricity in Power"), Shelah ("Stable Theories"), Hrushovski ("The Mordell-Lang Conjecture for Function Fields") and Woodin ("Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees").
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

The Complete Stories of Philip K. Dick Vol. 4:

Автор:
Размер книги: 1.05 Mb

Flint, Kenneth - Sidhe 2 - Champions of the Sidhe

Автор:
Размер книги: 617 Kb

T-34-85 Medium Tank 1944-94

Автор: , Автор:
Размер книги: 11.90 Mb

Inglés Perfeccionamento: Inglés e Inglés Americano

Автор:
Размер книги: 57.46 Mb