Enumerability, Decidability, Computability
Basic Number Theory.
Fundamentals of Digital Machine Computing
Basic Number Theory
Theory
Logic Colloquium Symposium on Logic held at Boston, 1972-73
Arithmetic Groups
Equivariant Cohomology Theories
Mathematisches Vorsemester Texte
Wolfram
