Κοινότητα Αναγνωστών Βιβλίων - readers.gr

Η θεωρία των τύπων

Mathematical logic as based on the theory of types. The doctrine of types. The axiom of infinity and logical types. Classes