EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Dxx Computability and recursion theory
03D50 Recursive equivalence types of sets and structures, isols

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 3 of 3

The Backward and Forward Summation of Infinite Series of Isols.

Fred J. Sansone (1969)

Mathematica Scandinavica

The first order properties of Dedekind finite integers

Erik Ellentuck (1968)

Fundamenta Mathematicae

Theory of computing systems

W. Bartol, Z. Raś, A. Skowron (1977)

Banach Center Publications

Currently displaying 1 – 3 of 3

Page 1