Основы

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 …

Philosophiæ Naturalis Principia Mathematica (Latin for Mathematical Principles of Natural Philosophy), often referred to as simply the Principia, is a work in three books by Isaac Newton, in Latin, f …

No detailed description available for ‘Modern Algorithms for Large Sparse Eigenvalue Problems’. Das E-Book Modern Algorithms for Large Sparse Eigenvalue Problems wird angeboten von De Gruyter und wur …

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

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

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 …

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 …

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 …

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, log …