Proof Theory in Computer Science, Reinhard Kahle; Peter Schroeder-Heister; Robert St

Автор: 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.

Автор: A. S. Troelstra
Название: Basic Proof Theory
ISBN: 0521779111 ISBN-13(EAN): 9780521779111
Издательство: Cambridge Academ
Рейтинг:
Цена: 7445.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: David H. Pitt; Axel Poigne; David E. Rydeheard
Название: Category Theory and Computer Science
ISBN: 3540185089 ISBN-13(EAN): 9783540185086
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: David H. Pitt; Pierre-Louis Curien; Samson Abramsk
Название: Category Theory and Computer Science
ISBN: 354054495X ISBN-13(EAN): 9783540544951
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos.

Автор: Eugenio Moggi; Giuseppe Rosolini
Название: Category Theory and Computer Science
ISBN: 354063455X ISBN-13(EAN): 9783540634553
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting the proceedings of the seventh International Conference on Category Theory and Computer Science, CTCS `97, this monograph addresses a range of topics in the field, including: reasoning principles for types; rewriting; program semantics; and structuring of logical systems.

Автор: 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.

Автор: 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.

Автор: Dov M. Gabbay; N. Olivetti
Название: Goal-Directed Proof Theory
ISBN: 0792364732 ISBN-13(EAN): 9780792364733
Издательство: Springer
Рейтинг:
Цена: 21655.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective.

Автор: Farid M. Ablaev; Ernst Mayr
Название: Computer Science -- Theory and Applications
ISBN: 3642131816 ISBN-13(EAN): 9783642131813
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010.

Автор: Steven G. Krantz
Название: Handbook of Logic and Proof Techniques for Computer Science
ISBN: 146126619X ISBN-13(EAN): 9781461266198
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic is, and should be, the core subject area of modern mathemat- ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.

Автор: Reinhard Kahle; Thomas Strahm; Thomas Studer
Название: Advances in Proof Theory
ISBN: 3319291963 ISBN-13(EAN): 9783319291963
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.