Lambda-definable functionals of finite types

Tom 50 / 1962

S. Kleene Fundamenta Mathematicae 50 (1962), 281-303 DOI: 10.4064/fm-50-3-281-303

Autorzy

  • S. Kleene

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek