Mathematical logic, Ebbinghaus, Heinz-dieter Flum, Jorg Thomas, Wolfgang

Автор: Herbert Enderton
Название: A Mathematical Introduction to Logic,
ISBN: 0122384520 ISBN-13(EAN): 9780122384523
Издательство: Elsevier Science
Рейтинг:
Цена: 93290.00 T
Наличие на складе: Поставка под заказ.
Описание: Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.

Автор: Petr Hajek
Название: Metamathematics of First-Order Arithmetic
ISBN: 1107168414 ISBN-13(EAN): 9781107168411
Издательство: Cambridge Academ
Рейтинг:
Цена: 111620.00 T
Наличие на складе: Есть
Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

Автор: J.-J. Ch. Meyer, W. van der Hoek
Название: Epistemic Logic for AI and Computer Science
ISBN: 0521602807 ISBN-13(EAN): 9780521602808
Издательство: Cambridge Academ
Рейтинг:
Цена: 61240.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.

Автор: Bergner, Julia E. (university Of Virginia)
Название: The Homotopy theory of (?,1)-categories
ISBN: 110749902X ISBN-13(EAN): 9781107499027
Издательство: Cambridge Academ
Рейтинг:
Цена: 40130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Homotopical or ( ,1)-categories have become a significant framework in many areas of mathematics. This book gives an introduction to the different approaches to these structures and the comparisons between them from the perspective of homotopy theory.

Автор: Toth, Herbert,
Название: Relations : concrete, abstract, and applied :
ISBN: 9811220344 ISBN-13(EAN): 9789811220340
Издательство: World Scientific Publishing
Рейтинг:
Цена: 163680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

The book is intended as an invitation to the topic of relations on a rather general basis. It fills the gap between the basic knowledge offered in countless introductory papers and books (usually comprising orders and equivalences) and the highly specialized monographs on mainly relation algebras, many-valued (fuzzy) relations, or graphs. This is done not only by presenting theoretical results but also by giving hints to some of the many interesting application areas (also including their respective theoretical basics).

This book is a new -- and the first of its kind -- compilation of known results on binary relations. It offers relational concepts in both reasonable depth and broadness, and also provides insight into the vast diversity of theoretical results as well as application possibilities beyond the commonly known examples.

This book is unique by the spectrum of the topics it handles. As indicated in its title these are:

Автор: Church, Alonzo
Название: Introduction to mathematical logic
ISBN: 0691029067 ISBN-13(EAN): 9780691029061
Издательство: Wiley
Рейтинг:
Цена: 86590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church`s contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.

Автор: Smullyan Raymond M
Название: Beginner`S Further Guide To Mathematical Logic, A
ISBN: 9814725722 ISBN-13(EAN): 9789814725729
Издательство: World Scientific Publishing
Рейтинг:
Цена: 21120.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G del's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.

Автор: Smullyan Raymond
Название: Reflections: The Magic, Music And Mathematics Of Raymond Smullyan
ISBN: 9814663190 ISBN-13(EAN): 9789814663199
Издательство: World Scientific Publishing
Рейтинг:
Цена: 25350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an exciting if not rambling account of events of Raymond Smullyan`s four lives - as a mathematical logician, musician, magician, and author - together with thoughts that come to his mind as he recalls them.