基础

A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from …

A comprehensive introduction to mathematical structures essential for Rough Set Theory. The book enables the reader to systematically study all topics of rough set theory. After a detailed …

Alfred Tarski (1901–1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of geometry, set theory, model theory, algebraic logic a …

A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics …

A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a …

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is …

Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there …

A straightforward guide to logic concepts Logic concepts are more mainstream than you may realize. There’s logic every place you look and in almost everything you do, from deciding which shirt to …

This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a …

This monograph treats the theory of Dirichlet forms from a comprehensive point of view, using ‘nonstandard analysis.’ Thus, it is close in spirit to the discrete classical formulation of Dirichlet sp …