基础

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 …

As a student moves from basic calculus courses into upper-division courses in linear and abstract algebra, real and complex analysis, number theory, topology, and so on, a ‘bridge’ course can help …

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 …

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas real …

On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place J …

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may al …

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 …

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 …

Learn how to develop your reasoning skills and how to writewell-reasoned proofs Learning to Reason shows you how to use the basic elements ofmathematical language to develop highly sophisticated, …

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 …