Автор: Saenz, Benjamin Alire Название: Inexplicable logic of my life ISBN: 1471171035 ISBN-13(EAN): 9781471171031 Издательство: Simon&Schuster UK Рейтинг: Цена: 1483.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A warmly humane look at universal questions of belonging, infused with humour, from the bestselling author of Aristotle and Dante Discover the Secrets of the Universe
Автор: Russell Bertrand Название: Introduction to Mathematical Philosophy ISBN: 1684221447 ISBN-13(EAN): 9781684221448 Издательство: Неизвестно Цена: 807.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: George Boole, Boole Название: Mathematical analysis of logic ISBN: 9354039723 ISBN-13(EAN): 9789354039720 Издательство: Неизвестно Рейтинг: Цена: 2941.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book has been considered by academicians and scholars of great significance and value to literature. This forms a part of the knowledge base for future generations. So that the book is never forgotten we have represented this book in a print format as the same form as it was originally first published. Hence any marks or annotations seen are left intentionally to preserve its true nature.
Автор: Hodel, Richard Название: An Introduction to Mathematical Logic ISBN: 0486497852 ISBN-13(EAN): 9780486497853 Издательство: Dover Рейтинг: Цена: 5584.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy. An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Godel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.
Автор: DeLong Howard Название: A Profile of Mathematical Logic ISBN: 0486434753 ISBN-13(EAN): 9780486434759 Издательство: Dover Рейтинг: Цена: 3096.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications. No prior knowledge of logic is necessary; readers need only an acquaintance with high school mathematics. The author emphasizes understanding, rather than technique, and focuses on such topics as the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic after more than 2,000 years of traditional logic, the nature of the formal axiomatic method and the reasons for its use, and the main results of metatheory and their philosophic import. The treatment of the Godel metatheorems is especially detailed and clear, and answers to the problems appear at the end.
Автор: Marcel Danesi Название: Language and Mathematics: An Interdisciplinary Guide ISBN: 1614515549 ISBN-13(EAN): 9781614515548 Издательство: Walter de Gruyter Цена: 24165.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores the many disciplinary and theoretical links between language, linguistics, and mathematics. It examines trends in linguistics, such as structuralism, conceptual metaphor theory, and other relevant theories,to show that language and mathematics have a similar structure, but differential functions, even though one without the other would not exist.
Автор: Vasco Brattka, Hannes Diener, Dieter Spreen Название: Logic, Computation, Hierarchies ISBN: 1614517835 ISBN-13(EAN): 9781614517832 Издательство: Walter de Gruyter Цена: 23049.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Автор: Godehard Link Название: Formalism and Beyond: On the Nature of Mathematical Discourse ISBN: 1614518297 ISBN-13(EAN): 9781614518297 Издательство: Walter de Gruyter Цена: 23049.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject.
Название: Handbook of mathematical fuzzy logic. volume 1 ISBN: 1848900392 ISBN-13(EAN): 9781848900394 Издательство: Неизвестно Рейтинг: Цена: 5702.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Quine Willard Van Orman Название: Mathematical Logic ISBN: 1258082241 ISBN-13(EAN): 9781258082246 Издательство: Неизвестно Цена: 9187.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Smullyan, Raymond Название: A Beginner`s Guide to Mathematical Logic ISBN: 0486492370 ISBN-13(EAN): 9780486492377 Издательство: Dover Рейтинг: Цена: 3096.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
