A Mathematical Introduction to Logic,, Herbert Enderton
Автор: Mendelson Elliott Название: Introduction to Mathematical Logic ISBN: 1482237725 ISBN-13(EAN): 9781482237726 Издательство: Taylor&Francis Рейтинг: Цена: 54560.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of G del, Church, Kleene, Rosser, and Turing.
The sixth edition incorporates recent work on G del's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in the new edition for historical considerations. The text also offers historical perspectives and many new exercises of varying difficulty, which motivate and lead students to an in-depth, practical understanding of the material.
Автор: Eccles Название: An Introduction to Mathematical Reasoning ISBN: 0521597188 ISBN-13(EAN): 9780521597180 Издательство: Cambridge Academ Рейтинг: Цена: 38010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book introduces the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. Over 250 problems include questions to interest and challenge the most able student and plenty of routine exercises to help familiarize the reader with the basic ideas.
Автор: 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.
Автор: Walicki Michal Название: Introduction to Mathematical Logic ISBN: 981471996X ISBN-13(EAN): 9789814719964 Издательство: World Scientific Publishing Рейтинг: Цена: 42240.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 99270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.
Автор: Taylor, John R. Название: Introduction to error analysis ISBN: 093570275X ISBN-13(EAN): 9780935702750 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The need for error analysis is captured in the book`s arresting cover shot - of the 1895 Paris train disaster (also available as a wall poster). The early chapters teach elementary techniques of error propagation and statistical analysis to enable students to produce successful lab reports.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
