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

Introduction to logic, Gensler, Harry J.



Варианты приобретения
Цена: 4222р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 30 май 2022
Ориентировочная дата поставки: Июнь
При условии наличия книги у поставщика.

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

Автор: Gensler, Harry J.
Название:  Introduction to logic
ISBN: 9780415226752
Издательство: Taylor&Francis
Классификация:
ISBN-10: 0415226759
Обложка/Формат: Mixed media product
Страницы: 416
Вес: 0.731 кг.
Дата издания: 13.12.2001
Язык: English
Иллюстрации: Illustrations
Размер: 24.61 x 17.50 x 2.31 cm
Читательская аудитория: General (us: trade)
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии



      Новое издание
Introduction to logic

Автор: Gensler, Harry
Название: Introduction to logic
ISBN: 0415996511 ISBN-13(EAN): 9780415996518
Издательство: Taylor&Francis
Цена: 4354 р.
Наличие на складе: Поставка под заказ.
Описание: Second edition.


An Introduction to Formal Logic

Автор: Peter Smith
Название: An Introduction to Formal Logic
ISBN: 0521008042 ISBN-13(EAN): 9780521008044
Издательство: Cambridge Academ
Рейтинг:
Цена: 5060 р.
Наличие на складе: Поставка под заказ.

Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible ‘tree’ method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.

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.

Introduction to logic

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

Описание: Second edition.

Ocr as critical thinking workbook introduction to critical thinking

Автор: Swale, Jill
Название: Ocr as critical thinking workbook introduction to critical thinking
ISBN: 034097379X ISBN-13(EAN): 9780340973790
Издательство: Hodder Arnold
Рейтинг:
Цена: 8135 р.
Наличие на складе: Нет в наличии.

Описание: Student Workbooks are designed to support and complement the OCR AS and A2 Critical Thinking Resource Packs. The aims of these workbooks is to help students understand the skills required in each unit exam through a varied selection of exercises.

Introduction to critical thinking and creativity

Автор: Lau, J. Y. F.
Название: Introduction to critical thinking and creativity
ISBN: 0470195096 ISBN-13(EAN): 9780470195093
Издательство: Wiley
Рейтинг:
Цена: 11344 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A valuable guide on creativity and critical thinking to improve reasoning and decision-making skills Critical thinking skills are essential in virtually any field of study or practice where individuals need to communicate ideas, make decisions, and analyze and solve problems.

An Introduction to Non-Classical Logic

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

Описание: 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.

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 Probability and Inductive Logic

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

Описание: 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 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.

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 substructural logics

Автор: Restall, Greg
Название: Introduction to substructural logics
ISBN: 041521534X ISBN-13(EAN): 9780415215343
Издательство: Taylor&Francis
Рейтинг:
Цена: 5988 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.

Introduction to Category Theory (Paperback)

Автор: Awodey, Steve
Название: Introduction to Category Theory (Paperback)
ISBN: 0199237182 ISBN-13(EAN): 9780199237180
Издательство: Oxford Academ
Рейтинг:
Цена: 8223 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Suitable for undergraduates in mathematics, researchers and graduates in computer science.


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