Aspects of Modern Logic, E.W. Beth; D.H.J. de Jongh; Susan de Jongh-Kearl

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 107010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

Автор: Uwe M?nnich
Название: Aspects of Philosophical Logic
ISBN: 9400983867 ISBN-13(EAN): 9789400983861
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: J. van Rijen
Название: Aspects of Aristotle`s Logic of Modalities
ISBN: 0792300483 ISBN-13(EAN): 9780792300489
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: E.C.M. Mays; G. Hasenjaeger
Название: Introduction to the Basic Concepts and Problems of Modern Logic
ISBN: 9401031223 ISBN-13(EAN): 9789401031226
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The field of modern logic is too extensive to be worked through by open- cast mining. But whether we are concerned with a new or an already worked mine - at any rate, the experience should stimulate us into either reviving an existing system of shafts or even, in particularly fortunate cases, designing a new ap- proach.

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Поставка под заказ.
Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.

Автор: Priest
Название: Logic
ISBN: 0192893203 ISBN-13(EAN): 9780192893208
Издательство: Oxford Academ
Рейтинг:
Цена: 8440.00 T
Наличие на складе: Невозможна поставка.
Описание: An introduction to modern formal logic, this book explores the philosophical roots of the subject, explaining how it deals with issues ranging from the existence of God and the reality of time, to paradoxes of probability and decision theory. Each chapter takes some philosophical problem, and explains how it may be handled in modern logic.

Автор: J. van Rijen
Название: Aspects of Aristotle`s Logic of Modalities
ISBN: 9401076960 ISBN-13(EAN): 9789401076968
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: M. Dunn; G. Epstein
Название: Modern Uses of Multiple-Valued Logic
ISBN: 940101163X ISBN-13(EAN): 9789401011631
Издательство: Springer
Рейтинг:
Цена: 203110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Papers from the Fifth International Symposium on Multiple-Valued Logic held at Indiana University, Bloomington, Indiana, USA, May 13-16, 1975, with a Bibliography of "manyvalued Logic" by R.G. Wolf

Автор: E. Agazzi
Название: Modern Logic — A Survey
ISBN: 9027711372 ISBN-13(EAN): 9789027711373
Издательство: Springer
Рейтинг:
Цена: 234790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom- prehension of this discipline seems nowadays unavoidable.

Автор: J. Corcoran
Название: Ancient Logic and Its Modern Interpretations
ISBN: 9401021325 ISBN-13(EAN): 9789401021326
Издательство: Springer
Рейтинг:
Цена: 158340.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presentations and discussions at the symposium focused themselves into five areas: ancient semantics, modern research in ancient logic, Aristotle`s logic, Stoic logic, and directions for future research in ancient logic and logic-related areas.

Автор: Abeles
Название: Modern Logic 1850-1950, East and West
ISBN: 3319247549 ISBN-13(EAN): 9783319247540
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia. The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.

Автор: E. Agazzi
Название: Modern Logic — A Survey
ISBN: 9400990588 ISBN-13(EAN): 9789400990586
Издательство: Springer
Рейтинг:
Цена: 204970.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its aspects, that the problem of some kind of unified recom- prehension of this discipline seems nowadays unavoidable.