Автор: 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.
Автор: 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.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 14890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 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.
Описание: 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.
Описание: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
