S. Stenlund Combinators, ?-Terms and Proof Theory 9789401029155

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

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

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

в Мои желания

Автор: S. Stenlund
Название: Combinators, ?-Terms and Proof Theory
ISBN: 9789401029155
Издательство: Springer
Классификация:

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

ISBN-10: 9401029156
Обложка/Формат: Paperback
Страницы: 177
Вес: 0.28 кг.
Дата издания: 12.10.2011
Серия: Synthese Library
Язык: English
Размер: 234 x 156 x 10
Основная тема: Philosophy
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.

Combinators, ?-Terms and Proof Theory, S. Stenlund