基础

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 th …

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 …

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 …

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 …

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them …

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 …

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 …

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 …

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 …

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 …