Proof Theory, Vincent F. Hendricks; Stig Andur Pedersen; Klaus F
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
Автор: 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.
Автор: Heinrich Wansing Название: Proof Theory of Modal Logic ISBN: 0792341201 ISBN-13(EAN): 9780792341208 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Автор: 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.
Автор: 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.
Описание: 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.
Автор: Reinhard Kahle; Peter Schroeder-Heister; Robert St Название: Proof Theory in Computer Science ISBN: 354042752X ISBN-13(EAN): 9783540427520 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, and includes 13 revised papers. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, and iterate logic.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
