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

Constructive Negations and Paraconsistency, Sergei Odintsov


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

Добавить в корзину
в Мои желания

Автор: Sergei Odintsov
Название:  Constructive Negations and Paraconsistency
ISBN: 9789048177448
Издательство: Springer
Классификация:

ISBN-10: 9048177448
Обложка/Формат: Paperback
Страницы: 242
Вес: 0.35 кг.
Дата издания: 17.11.2010
Серия: Trends in Logic
Язык: English
Размер: 234 x 156 x 14
Основная тема: Philosophy
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.


Where is the G?del-point hiding: Gentzen`s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Автор: Anna Horsk?
Название: Where is the G?del-point hiding: Gentzen`s Consistency Proof of 1936 and His Representation of Constructive Ordinals
ISBN: 3319021702 ISBN-13(EAN): 9783319021706
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains the first published consistency proof of PA. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert`s program and who do not mind reading mathematical texts.ГЇВїВЅ

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum

Автор: Peter Schuster; Ulrich Berger; Horst Osswald
Название: Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
ISBN: 9048158850 ISBN-13(EAN): 9789048158850
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999

Foundational Theories of Classical and Constructive Mathematics

Автор: Giovanni Sommaruga
Название: Foundational Theories of Classical and Constructive Mathematics
ISBN: 9400735618 ISBN-13(EAN): 9789400735613
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.

History and Philosophy of Constructive Type Theory

Автор: Giovanni Sommaruga
Название: History and Philosophy of Constructive Type Theory
ISBN: 9048154030 ISBN-13(EAN): 9789048154036
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

What is Negation?

Автор: Dov M. Gabbay; Heinrich Wansing
Название: What is Negation?
ISBN: 9048151694 ISBN-13(EAN): 9789048151691
Издательство: Springer
Рейтинг:
Цена: 30467.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.

History and Philosophy of Constructive Type Theory

Автор: Giovanni Sommaruga
Название: History and Philosophy of Constructive Type Theory
ISBN: 0792361806 ISBN-13(EAN): 9780792361800
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

From Instrumentalism to Constructive Realism

Автор: Theo A.F. Kuipers
Название: From Instrumentalism to Constructive Realism
ISBN: 9048153697 ISBN-13(EAN): 9789048153695
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable.

What is Negation?

Автор: Dov M. Gabbay; Heinrich Wansing
Название: What is Negation?
ISBN: 0792355695 ISBN-13(EAN): 9780792355694
Издательство: Springer
Рейтинг:
Цена: 30467.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.


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