Collected Papers of Stig Kanger with Essays on his Life and Work, Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi

Автор: 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
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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

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

Описание: "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

Автор: Serre, Jean-pierre
Название: Oeuvres - collected papers iii
ISBN: 3642398375 ISBN-13(EAN): 9783642398377
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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
Рейтинг:
Цена: 10760.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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: 1402001118 ISBN-13(EAN): 9781402001116
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F
Название: Proof Theory
ISBN: 0792365445 ISBN-13(EAN): 9780792365440
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues.

Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F
Название: Proof Theory
ISBN: 9048155533 ISBN-13(EAN): 9789048155538
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This generalization of Hilbert`s original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.