Logic, Priest

Автор: Priest Graham
Название: Logic: A Very Short Introduction
ISBN: 0198811705 ISBN-13(EAN): 9780198811701
Издательство: Oxford Academ
Цена: 1582.00 р.
Наличие на складе: Есть у поставщикаПоставка под заказ.
Описание: Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy - a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.

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

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

Автор: Rush
Название: The Metaphysics of Logic
ISBN: 1107039649 ISBN-13(EAN): 9781107039643
Издательство: Cambridge Academ
Рейтинг:
Цена: 14256.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an analysis of the role and nature of logic and its relationship to us and the world. Looking at the key topics and debates in the metaphysics of logic, this wide-ranging collection of essays offers readers of mathematics, logic and philosophy an in-depth overview of the field.

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

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

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

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