Proof Theory, Vincent F. Hendricks; Stig Andur Pedersen; Klaus F

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 16051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

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

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

Автор: Vincent F. Hendricks; Stig Andur Pedersen; Klaus F
Название: Proof Theory
ISBN: 0792365445 ISBN-13(EAN): 9780792365440
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues.

Автор: David J. Pym
Название: The Semantics and Proof Theory of the Logic of Bunched Implications
ISBN: 1402007450 ISBN-13(EAN): 9781402007453
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides an account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. This monograph is aimed at graduates and researchers in mathematical logic, philosophical logic, computational logic and others.

Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici
Название: Computational Logic and Proof Theory
ISBN: 3540633855 ISBN-13(EAN): 9783540633853
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC `97. This volume documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Автор: S. Stenlund
Название: Combinators, ?-Terms and Proof Theory
ISBN: 9027703051 ISBN-13(EAN): 9789027703057
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: George Metcalfe; Nicola Olivetti; Dov M. Gabbay
Название: Proof Theory for Fuzzy Logics
ISBN: 9048181216 ISBN-13(EAN): 9789048181216
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This accessible and up-to-date introduction to fuzzy logics focuses on the development and applications of "proof theoretic" presentations of fuzzy logics, including more than ten years of intensive work by researchers in that area.

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