Автор: A. S. Troelstra Название: Basic Proof Theory ISBN: 0521779111 ISBN-13(EAN): 9780521779111 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Автор: Hindley Название: Basic Simple Type Theory ISBN: 0521465184 ISBN-13(EAN): 9780521465182 Издательство: Cambridge Academ Рейтинг: Цена: 106650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.
Автор: Aczel Название: Proof Theory ISBN: 052141413X ISBN-13(EAN): 9780521414135 Издательство: Cambridge Academ Рейтинг: Цена: 98210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A collection of expository and research articles derived from the SERC `Logic for IT` Summer School and Conference on Proof Theory.
Автор: Torben Bra?ner Название: Hybrid Logic and its Proof-Theory ISBN: 9400734352 ISBN-13(EAN): 9789400734357 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
