UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Automata Studies. (AM-34)

2016

Volltextzugriff (PDF)

REPRESENTATION OF EVENTS IN NERVE NETS AND FINITE AUTOMATA

Automata Studies. (AM-34), 2016, Vol.34, p.3-42

2016

Volltextzugriff (PDF)

Recursive Functionals and Quantifiers of Finite Types Revisited, V

Transactions of the American Mathematical Society, 1991-06, Vol.325 (2), p.593-630

Kleene, S. C.

1991

Volltextzugriff (PDF)

Automata Studies. (AM-34), Volume 34

C. E. Shannon, J. McCarthy / C. Shannon, J. McCarthy

2016

Volltextzugriff (PDF)

Disjunction and existence under implication in elementary intuitionistic formalisms

The Journal of symbolic logic, 1962-03, Vol.27 (1), p.11-18

Kleene, S. C.

1962

Volltextzugriff (PDF)

On the interpretation of intuitionistic number theory

The Journal of symbolic logic, 1945-12, Vol.10 (4), p.109-124

Kleene, S. C.

1945

Volltextzugriff (PDF)

Third Meeting of the Association for Symbolic Logic

The Journal of Symbolic Logic, 1938-03, Vol.3 (1), p.59-60

Kleene, S. C.

1938

Volltextzugriff (PDF)

On notation for ordinal numbers

The Journal of symbolic logic, 1938-12, Vol.3 (4), p.150-155

Kleene, S. C.

1938

Volltextzugriff (PDF)

General recursive functions of natural numbers

Mathematische annalen, 1936-12, Vol.112 (1), p.727-742

Kleene, S. C.

1936

Volltextzugriff (PDF)

On the Forms of the Predicates in the Theory of Constructive Ordinals

American journal of mathematics, 1944-01, Vol.66 (1), p.41-58

Kleene, S. C.

1944

Volltextzugriff (PDF)

The Upper Semi-Lattice of Degrees of Recursive Unsolvability

Annals of mathematics, 1954-05, Vol.59 (3), p.379-407

1954

Volltextzugriff (PDF)

An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

The Journal of symbolic logic, 1963-06, Vol.28 (2), p.154-156

Kleene, S. C.

1963

Volltextzugriff (PDF)

Recursive Functionals and Quantifiers of Finite Types I

Transactions of the American Mathematical Society, 1959-04, Vol.91 (1), p.1

Kleene, S. C.

1959

Volltextzugriff (PDF)

λ-definability and recursiveness

Duke mathematical journal, 1936-06, Vol.2 (2)

Kleene, S. C.

1936

Volltextzugriff (PDF)

On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

American journal of mathematics, 1955-07, Vol.77 (3), p.405-428

Kleene, S. C.

1955

Volltextzugriff (PDF)

Recursive Functionals and Quantifiers of Finite Types Revisited, V

Transactions of the American Mathematical Society, 1991-06, Vol.325 (2), p.593

Kleene, S. C.

1991

Volltextzugriff (PDF)

THE NEW LOGIC

American scientist, 1969-10, Vol.57 (3), p.333-347

Kleene, Stephen C

1969

Volltextzugriff (PDF)

A Theory of Positive Integers in Formal Logic. Part I

American journal of mathematics, 1935-01, Vol.57 (1), p.153-173

Kleene, S. C.

1935

Volltextzugriff (PDF)

A Theory of Positive Integers in Formal Logic. Part II

American journal of mathematics, 1935-04, Vol.57 (2), p.219-244

Kleene, S. C.

1935

Volltextzugriff (PDF)

Proof by Cases in Formal Logic

Annals of mathematics, 1934-07, Vol.35 (3), p.529-544

Kleene, S. C.

1934

Volltextzugriff (PDF)

Realizability: A retrospective survey

Cambridge Summer School in Mathematical Logic, 2006, p.95-112

2006

Volltextzugriff (PDF)

Analysis of Lengthening of Modulated Repetitive Pulses

Proceedings of the IRE, 1947-10, Vol.35 (10), p.1049-1053

Kleene, S.C.

1947

Volltextzugriff (PDF)

The Mathematical Work of S. C. Kleene

The bulletin of symbolic logic, 1995-03, Vol.1 (1), p.9-43

1995

Volltextzugriff (PDF)

Reflections on Church's thesis

Notre Dame journal of formal logic, 1987, Vol.28 (4), p.490-497

KLEENE, S. C

1987

Volltextzugriff (PDF)

The Mathematical Work of S. C. Kleene

The bulletin of symbolic logic, 1995, Vol.1 (no. 1), p.8-43

1995

Volltextzugriff (PDF)

1 – 25 von 318

Menü

Weitere Dienste

Einstellungen

Automata Studies. (AM-34)

REPRESENTATION OF EVENTS IN NERVE NETS AND FINITE AUTOMATA

Recursive Functionals and Quantifiers of Finite Types Revisited, V

Automata Studies. (AM-34), Volume 34

Disjunction and existence under implication in elementary intuitionistic formalisms

On the interpretation of intuitionistic number theory

Third Meeting of the Association for Symbolic Logic

On notation for ordinal numbers

General recursive functions of natural numbers

On the Forms of the Predicates in the Theory of Constructive Ordinals

The Upper Semi-Lattice of Degrees of Recursive Unsolvability

An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

Recursive Functionals and Quantifiers of Finite Types I

λ-definability and recursiveness

On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

Recursive Functionals and Quantifiers of Finite Types Revisited, V

THE NEW LOGIC

A Theory of Positive Integers in Formal Logic. Part I

A Theory of Positive Integers in Formal Logic. Part II

Proof by Cases in Formal Logic

Realizability: A retrospective survey

Analysis of Lengthening of Modulated Repetitive Pulses

The Mathematical Work of S. C. Kleene

Reflections on Church's thesis

The Mathematical Work of S. C. Kleene

Suchergebnisse filtern