Catalog > Sciences > Math > Basics > Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies (ePUB)

Vasco Brattka & Hannes Diener
Logic, Computation, Hierarchies [EPUB ebook]

Support

Cover of Vasco Brattka & Hannes Diener: Logic, Computation, Hierarchies (ePUB)

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.

€159.95

About the author

Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● Pages 424 ● ISBN 9781614519409 ● File size 7.5 MB ● Editor Vasco Brattka & Hannes Diener ● Publisher De Gruyter ● City MA ● Published 2014 ● Edition 1 ● Downloadable 24 months ● Currency EUR ● ID 4441860 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Vasco Brattka Hannes Diener Dieter Spreen

187 Ebooks in this category

Cover of شيرى تيركل: وحدنا معاً ..

شيرى تيركل: وحدنا معاً ..

شيري تيركل عالِمة أنثربولوجيا، ومحلِّلة وإخصائية نفسية إكلينيكية، وأستاذة بمعهد ماساتشوستس للتكنولوجيا الشهير بالولايات المتحدة الأمريكية، ومؤسِّسة ومديرة مبادرة معهد ماساتشوستس للتكنولوجيا حول التكن …

Cover of جيمس تريفيل: لماذا العلم؟

جيمس تريفيل: لماذا العلم؟

لماذا العلم؟ ليس العلم مجردَ اكتساب معلوماتٍ علمية أو حيازة ذهنية لمعلوماتٍ وحيازة مادية لتكنولوجيا، ولكن العلم الذي يمثِّل الآن روح العصر، هو منهج في فهم ودراسة الواقع اعتمادًا على العقل الناقد بهدف …

Cover of Daniel Cunningham: Mathematical Logic

Daniel Cunningham: Mathematical Logic

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fu …

Cover of Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Set and Number Theory

Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Set and Number Theory

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functio …

Cover of Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Functions and Measure Theory

Valeriy K. Zakharov & Timofey V. Rodionov: Fundamentals of Functions and Measure Theory

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functio …

Cover of Vladimir Lepetic: Principles of Mathematics

Vladimir Lepetic: Principles of Mathematics

Presents a uniquely balanced approach that bridges introductory and advanced topics in modern mathematics An accessible treatment of the fundamentals of modern mathematics, Principles of Mathematics: …

Cover of Michael L. O'Leary: A First Course in Mathematical Logic and Set Theory

Michael L. O’Leary: A First Course in Mathematical Logic and Set Theory

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within …

Cover of J. Y. F. Lau: An Introduction to Critical Thinking and Creativity

J. Y. F. Lau: An Introduction to Critical Thinking and Creativity

A valuable guide on creativity and critical thinking to improve reasoning and decision-making skills Critical thinking skills are essential in virtually any field of study or practice where individua …

Cover of Melvin Powers: Practical Guide to Self-Hypnosis

Melvin Powers: Practical Guide to Self-Hypnosis

This book is written in terms that are comprehensible to the layman. The step-by-step instructions should afford the reader a means of acquiring self-hypnosis. The necessary material is here. The rea …

Cover of Loke Hagberg: Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater

Loke Hagberg: Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater

The paper is about formalizing methodological skepticism as a Bayesian updater, it is shown that the weakest coherent formal system, by ordinal analysis, is equivalent in strength to the formal syste …