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

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

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

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

в Мои желания

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

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

ISBN-10: 9027703051
Обложка/Формат: Hardcover
Страницы: 177
Вес: 0.45 кг.
Дата издания: 30.09.1972
Серия: Synthese Library
Язык: English
Размер: 234 x 156 x 13
Основная тема: 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