Journal of Formalized Mathematics, EMM

Table of Contents

• Boolean Properties of Sets - Definitions by Library Committee
• Boolean Properties of Sets - Theorems by Library Committee
• Complex Numbers --- Basic Definitions by Library Committee
  
• Introduction to Arithmetic of Real Numbers by Library Committee
  
• Complex Numbers --- Basic Theorems by Library Committee