Контакты/Проезд Доставка и Оплата Помощь/Возврат

Корзина ()

Мои желания ()

Промокоды

Ваши заказы

Theory of Logical Calculi, Ryszard W?jcicki

Ryszard W?jcicki Theory of Logical Calculi 9789027727855

Варианты приобретения

Цена: 36756.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Ryszard W?jcicki
Название: Theory of Logical Calculi
ISBN: 9789027727855
Издательство: Springer
Классификация:

Философия: Логика

ISBN-10: 9027727856
Обложка/Формат: Hardcover
Страницы: 474
Вес: 0.87 кг.
Дата издания: 30.09.1988
Серия: Synthese Library
Язык: English
Размер: 234 x 156 x 27
Основная тема: Philosophy
Подзаголовок: Basic Theory of Consequence Operations
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo- gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise tXposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J.Luka- siewiczs seminar on mathematicallogi

Logical Theory and Semantic Analysis

Автор: S. Stenlund; Ann-Mari Henschen-Dahlquist; L. Linda
Название: Logical Theory and Semantic Analysis
ISBN: 9401021937 ISBN-13(EAN): 9789401021937
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Theory of Logical Calculi

Автор: Ryszard W?jcicki
Название: Theory of Logical Calculi
ISBN: 9401569444 ISBN-13(EAN): 9789401569446
Издательство: Springer
Рейтинг:
Цена: 41925.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Gentzen Calculi for Modal Propositional Logic

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

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150507 ISBN-13(EAN): 9789048150502
Издательство: Springer
Рейтинг:
Цена: 39970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 9048150515 ISBN-13(EAN): 9789048150519
Издательство: Springer
Рейтинг:
Цена: 35218.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

The Logical Foundations of the Marxian Theory of Value

Автор: Adolfo Garc?a de la Sienra
Название: The Logical Foundations of the Marxian Theory of Value
ISBN: 9401051933 ISBN-13(EAN): 9789401051934
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Logical Theory and Semantic Analysis

Автор: S. Stenlund; Ann-Mari Henschen-Dahlquist; L. Linda
Название: Logical Theory and Semantic Analysis
ISBN: 9027704384 ISBN-13(EAN): 9789027704382
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru

Есть вопрос?
Политика конфиденциальности

Помощь
Дистрибьюторы издательства "Логосфера"

О компании
Представительство в Казахстане

Medpublishing.ru

В Контакте

В Контакте Мед Мобильная версия