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
Рейтинг:
Цена: 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.

Автор: Greg Restall
Название: Logic
ISBN: 0415400686 ISBN-13(EAN): 9780415400688
Издательство: Taylor&Francis
Рейтинг:
Цена: 39800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 99270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.

Автор: Kamp
Название: From Discourse to Logic
ISBN: 0792310284 ISBN-13(EAN): 9780792310280
Издательство: Springer
Рейтинг:
Цена: 32560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 118800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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