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

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 5 of 5

Order by Relevance | Title | Year of publication

Extension of an effectively generated class of functions by enumeration

S. Kleene — 1958

Colloquium Mathematicae

Lambda-definable functionals of finite types

S. Kleene — 1962

Fundamenta Mathematicae

Formal definitions in the theory of ordinal numbers

Alonzo Church; S. Kleene — 1937

Fundamenta Mathematicae

Quantification of number-theoretic functions

Compositio Mathematica

Preface

D. Van Dalen; J. G. Dijkman; S. C. Kleene; A. S. Troelstra — 1968

Compositio Mathematica

Page 1

Download Results (CSV)