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").Похожие книги
 | God: The Failed Hypothesis: How Science Shows That God Does Not Exist Автор: Victor J. Stenger Год: 2007 |
 | Aquatic Ape Hypothesis Год: 2011 |
 | Tense and Aspect in Second Language Acquisition– Form, Meaning, and Use Автор: Kathleen Bardovi–Harlig Год: 2000 |
| Globalizing Cities Автор: Peter Marcuse Год: 1999 |
 | Sorghum production in Nigeria Автор: Job Nmadu Год: 2010 |
 | LINKAGES BETWEEN ECONOMIC GROWTH AND ENVIRONMENTAL POLLUTION Автор: Md. Elias Hossain Год: 2010 |