Introduction to proof theory, Mancosu, Paolo (uc Berkeley) Galvan, Sergio (catholic University Of Milan) Zach, Richard (university Of Calgary)
Автор: 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.
Автор: 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.
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.
Автор: Hankin, Chris Название: Introduction to lambada calculi for computer scientists ISBN: 0954300653 ISBN-13(EAN): 9780954300654 Издательство: Неизвестно Рейтинг: Цена: 4230.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Priest Graham Название: Logic: A Very Short Introduction ISBN: 0198811705 ISBN-13(EAN): 9780198811701 Издательство: Oxford Academ Рейтинг: Цена: 1582.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy - a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probability. Explaining formal logic in simple, non-technical terms, this edition includes new sections on mathematical algorithms, axioms, and proofs.
Автор: Arai Toshiyasu Название: Ordinal Analysis with an Introduction to Proof Theory ISBN: 9811564612 ISBN-13(EAN): 9789811564611 Издательство: Springer Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
Автор: Arai, Toshiyasu Название: Ordinal analysis with an introduction to proof theory ISBN: 9811564582 ISBN-13(EAN): 9789811564581 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
Автор: Zalabardo Название: Introduction to the Theory of Logic ISBN: 081336602X ISBN-13(EAN): 9780813366029 Издательство: Taylor&Francis Рейтинг: Цена: 8114.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to the basic concepts and results of contemporary logic, including a discussion of the basic mathematical tools needed to mastthe technical aspects of the subject.. This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions, and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided. This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with
Автор: Fennell Название: A Critical Introduction to the Philosophy of Language ISBN: 1138339725 ISBN-13(EAN): 9781138339729 Издательство: Taylor&Francis Рейтинг: Цена: 6123.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Critical Introduction to Philosophy of Language is a historically-oriented introduction to the central themes in philosophy of language.
Автор: Fennell Название: A Critical Introduction to the Philosophy of Language ISBN: 1138339717 ISBN-13(EAN): 9781138339712 Издательство: Taylor&Francis Рейтинг: Цена: 22202.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Critical Introduction to Philosophy of Language is a historically-oriented introduction to the central themes in philosophy of language.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 0521008042 ISBN-13(EAN): 9780521008044 Издательство: Cambridge Academ Рейтинг: Цена: 4434.00 р. Наличие на складе: Поставка под заказ.
Описание: Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible ‘tree’ method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.
Автор: Ian Hacking Название: An Introduction to Probability and Inductive Logic ISBN: 0521775019 ISBN-13(EAN): 9780521775014 Издательство: Cambridge Academ Рейтинг: Цена: 6018.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an introductory 2001 textbook on probability and induction written by one of the world`s foremost philosophers of science. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction.
Автор: Church, Alonzo Название: Introduction to mathematical logic ISBN: 0691029067 ISBN-13(EAN): 9780691029061 Издательство: Wiley Рейтинг: Цена: 12989.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
