Quantitative Techniques
HBMT4203 MATHEMATICS FORM FOUR
HBMT 4203
Set theory
Against bounded-indefinite-extensibility
First-order Set Theory Chapter 15 Language, Proof and Logic.
1 VT The language of set theory is a FOLWUT language.
A Language for Mathematical Knowledge Management Steve Kieffer Carnegie Mellon University.
Chapter 1: Random Events and Probability Department of Statistics Huang Xudong,Ph.D.
6 Lecture in math Revision Symbols Logic Predicates Induction Combinatorics.