Introduction to proof theory, Mancosu, Paolo (uc Berkeley) Galvan, Sergio (catholic University Of Milan) Zach, Richard (university Of Calgary)
Автор: Priest Graham Название: Logic: A Very Short Introduction ISBN: 0198811705 ISBN-13(EAN): 9780198811701 Издательство: Oxford Academ Рейтинг: Цена: 10550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: 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.
Автор: 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.
Автор: Hankin, Chris Название: Introduction to lambada calculi for computer scientists ISBN: 0954300653 ISBN-13(EAN): 9780954300654 Издательство: Неизвестно Рейтинг: Цена: 28200.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Zalabardo Название: Introduction to the Theory of Logic ISBN: 081336602X ISBN-13(EAN): 9780813366029 Издательство: Taylor&Francis Рейтинг: Цена: 54090.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 40820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 148010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 29560.00 T Наличие на складе: Поставка под заказ. Описание: 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 Рейтинг: Цена: 40120.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Copi Название: Introduction to Logic ISBN: 1138500860 ISBN-13(EAN): 9781138500860 Издательство: Taylor&Francis Рейтинг: Цена: 188850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this 15th Edition, Carl Cohen and Victor Rodych update Irving M. Copi`s classic text, improving on its many strengths and introducing new and helpful material that will greatly assist both students and instructors.
Автор: Russell Marcus, Mark McEvoy Название: An Historical Introduction to the Philosophy of Mathematics: A Reader ISBN: 1472525671 ISBN-13(EAN): 9781472525673 Издательство: Bloomsbury Academic Рейтинг: Цена: 31670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A comprehensive collection of historical readings in the philosophy of mathematics and a selection of influential contemporary work, this much-needed introduction reveals the rich history of the subject. An Historical Introduction to the Philosophy of Mathematics: A Reader brings together an impressive collection of primary sources from ancient and modern philosophy. Arranged chronologically and featuring introductory overviews explaining technical terms, this accessible reader is easy-to-follow and unrivaled in its historical scope. With selections from key thinkers such as Plato, Aristotle, Descartes, Hume and Kant, it connects the major ideas of the ancients with contemporary thinkers. A selection of recent texts from philosophers including Quine, Putnam, Field and Maddy offering insights into the current state of the discipline clearly illustrates the development of the subject. Presenting historical background essential to understanding contemporary trends and a survey of recent work, An Historical Introduction to the Philosophy of Mathematics: A Reader is required reading for undergraduates and graduate students studying the philosophy of mathematics and an invaluable source book for working researchers.
Автор: Peter Smith Название: An Introduction to Formal Logic ISBN: 1108411398 ISBN-13(EAN): 9781108411394 Издательство: Cambridge Academ Рейтинг: Цена: 29560.00 T Наличие на складе: Поставка под заказ. Описание: 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 very accessible book, extensively revised and rewritten for the second edition, 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 develops natural deduction systems for evaluating arguments translated into these languages. His discussion is richly illustrated with worked examples and exercises, and 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
