Collected Papers, Alfred Tarski

Автор: Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi
Название: Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
ISBN: 1402001118 ISBN-13(EAN): 9781402001116
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger`s most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title contains critical essays on the various aspects of Kanger`s work.

Автор: Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi
Название: Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
ISBN: 1402001126 ISBN-13(EAN): 9781402001123
Издательство: Springer
Рейтинг:
Цена: 71730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger`s most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title contains critical essays on the various aspects of Kanger`s work.

Автор: Jean-Pierre Serre
Название: Oeuvres - Collected Papers II
ISBN: 3642377254 ISBN-13(EAN): 9783642377259
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi
Название: Collected Papers of Stig Kanger with Essays on his Life and Work
ISBN: 1402000219 ISBN-13(EAN): 9781402000218
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger`s dissertation "Provability in Logic", 1957, contained significant results in proof theory. This is the first of two volumes dedicated to the work of Stig Kanger. It is a collection of Kanger`s philosophical papers.

Автор: Serre, Jean-pierre
Название: Oeuvres - collected papers iii
ISBN: 3642398375 ISBN-13(EAN): 9783642398377
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Extensions de corps ordonnes.- (avec A Borel) Impossibilite de fibrer un espace euclidien par des fibres compactes.- Cohomologie des extensions de groupes.- Homologie singuliere des espaces fibres. I. La suite spectrale.- Homologie singuliere des espaces fibres. II. Les espaces de lacets.- Homologie singuliere des espaces fibres. III. Applications homotopiques.- Groupes d'homotopie.- (avec A Borel) Determination des p-puissances reduites de Steenrod dans la cohomologie des groupes classiques. Applications.- Homologie singuliere des espaces fibres. Applications.- (avec H. Cartan) Espaces fibres et groupes d'homotopie.1. Constructions generales.- (avec H. Cartan) Espaces fibres et groupes d'homotopie. II.Applications.- Sur les groupes d'Eilenberg-MacLane.- Sur la suspension de Freudenthal.- Le cinquieme probleme de Hilbert. Etat de la question en 1951.- (avec G. P. Hochschild) Cohomology of group extensions.- (avec G.P. Hochschild) Cohomology of Lie algebras.- Cohomologie et arithmetique.- Groupes d 'homotopie et classes de groupes abeliens.- Cohomologie modulo 2 des complexes d'Eilenberg-MacLane.- Lettre a Armand Borel.- Espaces fibres algebriques (d'apres A WeiI).- Quelques calculs de groupes d'homotopie.- Quelques problemes globaux relatifs aux varietes de Stein.- (avec H. Cartan) Un theoreme de finitude concernant les varietes analytiques compactes.- Travaux de Hirzebruch sur la topologie des varietes.- Fonctions automorphes: quelques majorations dans Ie cas OU X/G est compact.- Cohomologie et geometrie algebrique.- Un theoreme de dualite.- Faisceaux algebriques coherents.- Une propriete topologique des domaines de Runge.- Notice sur les travaux scientifiques.- Geometrie algebrique et geometrie analytique.- Sur la dimension homologique des anneaux et des modules noetheriens.- Critere de rationalite pour les surfaces algebriques.- Sur la cohomologie des varietes algebriques.- (avec S. Lang) Sur les revetements non ramifies des varietes algebriques.- Resume des cours de 1956-1957.- Sur la topologie des varietes algebriques en caracteristique p.- Modules projectifs et espaces fibres a fibre vectorielle.- Quelques proprietes des varietes abeliennes en caracteristique.- Classes des corps cyclotomiques (d'apres K Iwasawa).- Resume des cours de 1957-1958.- On the fundamental group of a unirational variety.- Resume des cours de 1958-1959.- Notes.- Acknowledgements.

Автор: Tarski Alfred
Название: Collected Papers: Volume 4: 1958-1979
ISBN: 3319954164 ISBN-13(EAN): 9783319954165
Издательство: Springer
Рейтинг:
Цена: 204970.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Автор: Tarski Alfred
Название: Collected Papers: Volume 3: 1945-1957
ISBN: 3319954229 ISBN-13(EAN): 9783319954226
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Автор: Tarski Alfred
Название: Collected Papers: Volume 1: 1921-1934
ISBN: 3319953656 ISBN-13(EAN): 9783319953656
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Автор: W. Stegm?ller
Название: Collected Papers on Epistemology, Philosophy of Science and History of Philosophy
ISBN: 9027706433 ISBN-13(EAN): 9789027706430
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The concepts of model world and of logical space, together with those of homomorphism and isomorphism be- tween model worlds and between logical spaces, form the conceptual basis of the reconstruction.

Автор: Jean-Pierre Serre
Название: Oeuvres - Collected Papers I
ISBN: 3642398154 ISBN-13(EAN): 9783642398155
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "These volumes collect almost all of the research and expository papers of J.-P. Serre published in mathematical journals through 1984, as well as some of his seminar reports, and a few items not previously published. .... Throughout his writings, Serre has liberally sprinkled open questions and conjectures. Most endnotes list subsequent progress made on these questions or improvements to the main results of the papers. Some make additional comments, and a few are corrections. These endnotes alone justify the publication of the collected works. Serre is one of the masters of mathematical exposition...."
--James Milne, University of Michigan, in Math Reviews

Автор: W. Stegm?ller
Название: Collected Papers on Epistemology, Philosophy of Science and History of Philosophy
ISBN: 9401011311 ISBN-13(EAN): 9789401011310
Издательство: Springer
Рейтинг:
Цена: 136910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The concepts of inodel world and of logical space, together with those of homomorphism and isomorphism be- tween model worlds and between logical spaces, form the conceptual basis of the reconstruction.

Автор: Alfred Tarski
Название: Collected Papers
ISBN: 3319954288 ISBN-13(EAN): 9783319954288
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.