Displaying similar documents to “The uniqueness of finite division for recursive equivalence types.”

Computable analysis

Stanisław Mazur

Similarity:

CONTENTS Foreword.......................................................................................... 3 I. Recursive and computable numbers...................................... 4 1. Recursive numbers................................................................... 5 2. Computable numbers............................................................... 17 II. Recursive and computable sequences................................. 22 III. Recursive and computable functionals....................................