Описание: 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.
Описание: 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 Рейтинг: Цена: 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
Автор: Ghita Holmstr?m-Hintikka; Sten Lindstr?m; R. Sliwi Название: Collected Papers of Stig Kanger with Essays on his Life and Work ISBN: 1402000227 ISBN-13(EAN): 9781402000225 Издательство: Springer Рейтинг: Цена: 13275.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 as well as the first fully worked out model-theoretic interpretation of quantified modal logic. This book presents a collection of Kanger`s philosophical papers.
Автор: 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.
Автор: Vincent F. Hendricks; Klaus Frovin J?rgensen; Stig Название: Knowledge Contributors ISBN: 1402017480 ISBN-13(EAN): 9781402017483 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on `active agenthood` and multi-modal systems.
Автор: Vincent F. Hendricks; Klaus Frovin J?rgensen; Stig Название: Knowledge Contributors ISBN: 1402017472 ISBN-13(EAN): 9781402017476 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on `active agenthood` and multi-modal systems.
Автор: 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 Название: Probability Theory ISBN: 9048156971 ISBN-13(EAN): 9789048156979 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume in the Synthese Library Series is the result of a con- ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory- Philosophy Recent History and Relations to Science. The editors would like to thank the invited speakers includ- ing in alphabetical order Prof. N.H. Bingham (BruneI Univer- sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni- versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con- ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics http: //mmf.ruc.dkjmathnetj The editors would like to thank the network's organizing com- mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).
Автор: 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.
Автор: 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.
Автор: Jean-Pierre Serre Название: Oeuvres - Collected Papers II ISBN: 3642377254 ISBN-13(EAN): 9783642377259 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
