Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

An Introduction to Non-Classical Logic, Graham Priest



Варианты приобретения
Цена: 14641р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 347 шт.  Склад Америка: 130 шт.  
При оформлении заказа до: 30 май 2022
Ориентировочная дата поставки: Июнь

Заказ пока невозможен
в Мои желания

Автор: Graham Priest
Название:  An Introduction to Non-Classical Logic
Перевод названия: Грэхэм Прест: Введение в неоклассическую логику
ISBN: 9780521854337
Издательство: Cambridge Academ
Классификация:
ISBN-10: 0521854334
Обложка/Формат: Hardback
Страницы: 646
Вес: 1.2 кг.
Дата издания: 10/04/2008
Серия: Cambridge Introductions to Philosophy
Язык: English
Издание: 2 rev ed
Иллюстрации: Black & white illustrations
Размер: 256 x 184 x 43
Читательская аудитория: Professional & VocationalTertiary Education (US: C
Подзаголовок: From if to is
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Дополнительное описание: Preface to the first edition; Preface to the second edition; Mathematical prolegomenon; Part I. Propositional Logic: 1. Classical logic and the material conditional; 2. Basic modal logic; 3. Normal modal logics; 4. Non-normal modal logics; strict conditio




Introduction to mathematical logic

Автор: Mendelson, Elliott
Название: Introduction to mathematical logic
ISBN: 0412808307 ISBN-13(EAN): 9780412808302
Издательство: Taylor&Francis
Рейтинг:
Цена: 10558 р.
Наличие на складе: Поставка под заказ.

Описание: Covering the basic topics of a solid first course in mathematical logic, this book includes an appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. It is useful for lecturers and researchers in mathematics, philosophy, and related fields.

Introduction to Mathematical Logic, Fifth Edition

Название: Introduction to Mathematical Logic, Fifth Edition
ISBN: 1584888768 ISBN-13(EAN): 9781584888765
Издательство: Taylor&Francis
Рейтинг:
Цена: 7984 р.
Наличие на складе: Поставка под заказ.

Описание: Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, and Turing.

An Introduction to Probability and Inductive Logic

Автор: Ian Hacking
Название: An Introduction to Probability and Inductive Logic
ISBN: 0521775019 ISBN-13(EAN): 9780521775014
Издательство: Cambridge Academ
Рейтинг:
Цена: 6325 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is an introductory textbook on probability and induction written by one of the world’s foremost philosophers of science. The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of this book are a lively and vigorous prose style; lucid and systematic organization and presentation of ideas; many practical applications; a rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science; numerous brief historical accounts of how fundamental ideas of probability and induction developed; and a full bibliography of further reading.

An Introduction to Non-Classical Logic

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521670268 ISBN-13(EAN): 9780521670265
Издательство: Cambridge Academ
Рейтинг:
Цена: 5783 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

Introduction to error analysis

Автор: Taylor, John R.
Название: Introduction to error analysis
ISBN: 093570275X ISBN-13(EAN): 9780935702750
Издательство: Springer
Рейтинг:
Цена: 7424 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text introduces error analysis through simple and familiar examples from carpentry and well-known historic experiments where an understanding of errors was crucial to the success of the experiment. It is designed as a reference for students in the physical sciences and engineering.

An Introduction to Fuzzy Logic and Fuzzy Sets

Автор: Buckley James J., Eslami Esfandiar
Название: An Introduction to Fuzzy Logic and Fuzzy Sets
ISBN: 3790814474 ISBN-13(EAN): 9783790814477
Издательство: Springer
Рейтинг:
Цена: 8160 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is to be the starting point for any curriculum in fuzzy systems in fields like computer science, mathematics, business/economics and engineering. It covers the basics leading to: fuzzy clustering, fuzzy pattern recognition, fuzzy database, fuzzy image processing, soft computing, fuzzy applications in operations research, fuzzy decision making, fuzzy rule based systems, fuzzy systems modeling, fuzzy mathematics. It is not a book designed for researchers - it is where you really learn the "basics" needed for any of the above-mentioned applications.

Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual

Автор: Willem Conradie,Valentin Goranko,Claudette Robinso
Название: Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual
ISBN: 1118762673 ISBN-13(EAN): 9781118762677
Издательство: Wiley
Рейтинг:
Цена: 2813 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting materi

Introduction to Mathematical Logic

Автор: Walicki Michal
Название: Introduction to Mathematical Logic
ISBN: 981471996X ISBN-13(EAN): 9789814719964
Издательство: World Scientific Publishing
Рейтинг:
Цена: 7231 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules — of a high, though often neglected, pedagogical value — aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.This revised edition contains also, besides many new exercises, a new chapter on semantic paradoxes. An equivalence of logical and graphical representations allows us to see vicious circularity as the odd cycles in the graphical representation and can be used as a simple tool for diagnosing paradoxes in natural discourse.

A Short Introduction to Intuitionistic Logic

Автор: Mints Grigori
Название: A Short Introduction to Intuitionistic Logic
ISBN: 0306463946 ISBN-13(EAN): 9780306463945
Издательство: Springer
Рейтинг:
Цена: 17076 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic tchniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.

Derrida: A Very Short Introduction

Автор: Glendinning, Simon
Название: Derrida: A Very Short Introduction
ISBN: 019280345X ISBN-13(EAN): 9780192803450
Издательство: Oxford Academ
Рейтинг:
Цена: 1625 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Simon Glendinning explores Jacque Derrida`s work, from his engagement with the history of metaphysics to his views on law and justice and ethics and politics. Confronting and refuting claims that Derrida was an irresponsible `postmodernist` or `nihilist` he instead reveals Derrida`s significant contributions to philosophy.

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Автор: Andrews Peter B.
Название: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
ISBN: 1402007639 ISBN-13(EAN): 9781402007637
Издательство: Springer
Рейтинг:
Цена: 17813 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises.Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

Introduction to logic

Автор: Gensler, Harry J.
Название: Introduction to logic
ISBN: 0415226759 ISBN-13(EAN): 9780415226752
Издательство: Taylor&Francis
Рейтинг:
Цена: 4222 р.
Наличие на складе: Поставка под заказ.

Описание: This text offers one of the most clear and accessible introductions to logic and engages students with the basics of logic through practical examples and important arguments in both the history of and contemporary philosophy.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия