Hybrid Logic and its Proof-Theory, Torben Bra?ner

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

Автор: Gilles Dowek
Название: Proofs and Algorithms: Introduction to Logic and Computability Theory
ISBN: 0857291203 ISBN-13(EAN): 9780857291202
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, G?del’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.