The Logic of Time, Johan van Benthem

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 16051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Fitting
Название: First-Order Modal Logic
ISBN: 0792353358 ISBN-13(EAN): 9780792353355
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Поставка под заказ.

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

Автор: Johan van Benthem
Название: The Logic of Time
ISBN: 904814082X ISBN-13(EAN): 9789048140824
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.

Автор: Johan van Benthem
Название: The Logic of Time
ISBN: 9401098700 ISBN-13(EAN): 9789401098700
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter`s mono- poly on the logical study of Time.

Автор: Dov M. Gabbay; Franz Guenthner
Название: Handbook of Philosophical Logic
ISBN: 9400734514 ISBN-13(EAN): 9789400734517
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Автор: Francesca Poggiolesi
Название: Gentzen Calculi for Modal Propositional Logic
ISBN: 9400734425 ISBN-13(EAN): 9789400734425
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.

Автор: Torben Bra?ner
Название: Hybrid Logic and its Proof-Theory
ISBN: 9400734352 ISBN-13(EAN): 9789400734357
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

Автор: Dov M. Gabbay; Franz Guenthner
Название: Handbook of Philosophical Logic
ISBN: 9400734603 ISBN-13(EAN): 9789400734609
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems."

Автор: Stefania Centrone
Название: Logic and Philosophy of Mathematics in the Early Husserl
ISBN: 940073123X ISBN-13(EAN): 9789400731233
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text focuses on the first ten years of Edmund Husserl`s work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations. It aims to locate this work in the fields of logic, philosophy of logic and philosophy of mathematics.

Автор: Stefania Centrone
Название: Logic and Philosophy of Mathematics in the Early Husserl
ISBN: 9048132452 ISBN-13(EAN): 9789048132454
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text focuses on the first ten years of Edmund Husserl`s work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations. It aims to locate this work in the fields of logic, philosophy of logic and philosophy of mathematics.

Автор: Shahid Rahman; John Symons; Dov M. Gabbay; jean pa
Название: Logic, Epistemology, and the Unity of Science
ISBN: 9048124867 ISBN-13(EAN): 9789048124862
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Explores through extensive co-operation, different ways of achieving the integration of science in all its diversity. This book offers essays from philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches.

Автор: Greg Restall
Название: Logic
ISBN: 0415400686 ISBN-13(EAN): 9780415400688
Издательство: Taylor&Francis
Рейтинг:
Цена: 5970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.