Temporal Logic, Peter ?hrstr?m; Per Hasle

Автор: 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.

Автор: Peter ?hrstr?m; Per Hasle
Название: Temporal Logic
ISBN: 9048145848 ISBN-13(EAN): 9789048145843
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field.

Автор: N. Rescher
Название: Temporal Modalities in Arabic Logic
ISBN: 9401035253 ISBN-13(EAN): 9789401035255
Издательство: Springer
Рейтинг:
Цена: 7400.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this monograph is to expound the conceptions of temporalized modality at issue in various Arabic logical texts. I claim to have been able to make good logical sense of doctrines of which even the later Arab logicians themselves came to despair.

Автор: Margarita V?zquez Campos; Antonio Manuel Liz Guti?
Название: Temporal Points of View
ISBN: 3319198149 ISBN-13(EAN): 9783319198149
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book seeks to arrive at a better understanding of the relationships between the objective and subjective aspects of time.

Автор: 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.

Автор: Kamp
Название: From Discourse to Logic
ISBN: 0792310284 ISBN-13(EAN): 9780792310280
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference. This is intended for students with varying degrees of preparation, including those without prior exposure to semantics or formal logic.

Автор: Lee Mi-Kyoung
Название: Strategies of Argument: Essays in Ancient Ethics, Epistemology, and Logic
ISBN: 0199890471 ISBN-13(EAN): 9780199890477
Издательство: Oxford Academ
Рейтинг:
Цена: 17028.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume features new papers by an international group of scholars in ancient philosophy, with a particular focus on new work in ancient Greek and Roman ethics, epistemology, logic, and science.

Автор: Korhonen Anssi
Название: Logic as Universal Science: Russell`s Early Logicism and Its Philosophical Context
ISBN: 0230577008 ISBN-13(EAN): 9780230577008
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic as Universal Science offers a detailed reconstruction of the underlying philosophy in The Principles of Mathematics showing how Russell sought to deliver a death blow to the dominant Kantian view that formal logic is a concise and dry science and unable to enlarge our understanding.

Автор: 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.