Basic Proof Theory, A. S. Troelstra

Автор: Nederpelt
Название: Type Theory and Formal Proof
ISBN: 110703650X ISBN-13(EAN): 9781107036505
Издательство: Cambridge Academ
Рейтинг:
Цена: 10611.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

Автор: Negri, Professor Sara Von Plato, Jan
Название: Structural proof theory
ISBN: 0521068428 ISBN-13(EAN): 9780521068420
Издательство: Cambridge Academ
Рейтинг:
Цена: 6653.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.

Автор: Hindley
Название: Basic Simple Type Theory
ISBN: 0521465184 ISBN-13(EAN): 9780521465182
Издательство: Cambridge Academ
Рейтинг:
Цена: 15998.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Leinster
Название: Basic Category Theory
ISBN: 1107044243 ISBN-13(EAN): 9781107044241
Издательство: Cambridge Academ
Рейтинг:
Цена: 8237.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assuming little mathematical background, this short introduction to category theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. Suitable for independent study or as a course book, it gives extensive explanations of the key concepts along with hundreds of examples and exercises.

Автор: Torben Bra?ner
Название: Hybrid Logic and its Proof-Theory
ISBN: 9400734352 ISBN-13(EAN): 9789400734357
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Aczel
Название: Proof Theory
ISBN: 052141413X ISBN-13(EAN): 9780521414135
Издательство: Cambridge Academ
Рейтинг:
Цена: 14731.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of expository and research articles derived from the SERC `Logic for IT` Summer School and Conference on Proof Theory.

Автор: Ulrich Kohlenbach
Название: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
ISBN: 3642096271 ISBN-13(EAN): 9783642096273
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.