1257

Functions and their basic properties
–
 2003

1187

Properties of subsets
–
 1989

251

Basis of Real Linear Space
–
 1990

1278

Tarski Grothendieck Set Theory
–
 1989

92

The complex numbers
–
 1990

132

Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces
–
 1990

1012

Functions from a set to a set
–
 1989

988

Relations and their basic properties
–
 1989

551

Basic Properties of Real Numbers
–
 1989

370

Subsets of real numbers
–

634

The ordinal numbers
–
 1989

725

Some Basic Properties of Sets
–
 1989

331

Binary operations
–
 1989

262

Pigeon hole principle
–
 1990

47

The Chinese Remainder Theorem
–
 1997

16

The ring of polynomials
–

8

The Hahn Banach theorem in the vector space over the field of complex numbers
–

642

The fundamental properties of natural numbers
–
 1989

295

Finite Sequences and Tuples of Elements of a Nonempty Sets
–
 1990
