An Introduction To Set Theory

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, This book covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers. It gives students sufficient grounding in a rigorous approach to the revolutionary results of set theory as well as pleasure in being able to tackle significant problems that arise from the theory.

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability.

Arbitrage Theory provides the foundation for the pricing of financial derivatives and has become indispensable in both financial theory and financial practice. This textbook offers a rigorous and comprehensive introduction to the mathematics of arbitrage pricing in a discrete-time, finite-state economy in which a finite number of securities are traded.

by Daniel Ashlock (Author), Colin Lee (Author)
This text is intended as an introduction to mathematical proofs for students

The monograph offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and Rough Set Theory ideas of the containment to a degree. The result is a theory based on the notion of a part to a degree.