Introduction to mathematical logic, Church, Alonzo

Автор: Mendelson Elliott
Название: Introduction to Mathematical Logic
ISBN: 1482237725 ISBN-13(EAN): 9781482237726
Издательство: Taylor&Francis
Рейтинг:
Цена: 8184.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Автор: Herbert Enderton
Название: A Mathematical Introduction to Logic,
ISBN: 0122384520 ISBN-13(EAN): 9780122384523
Издательство: Elsevier Science
Рейтинг:
Цена: 13994.00 р.
Наличие на складе: Поставка под заказ.

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

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 14890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Walicki Michal
Название: Introduction to Mathematical Logic
ISBN: 981471996X ISBN-13(EAN): 9789814719964
Издательство: World Scientific Publishing
Рейтинг:
Цена: 6336.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Eccles
Название: An Introduction to Mathematical Reasoning
ISBN: 0521597188 ISBN-13(EAN): 9780521597180
Издательство: Cambridge Academ
Рейтинг:
Цена: 5702.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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