Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

On the definitions of computable real continuous functions

100%
Grzegorczyk A.
Fundamenta Mathematicae
|
1957
|
tom 44
|
nr 1
61-71
2
Content available remote

Some proofs of undecidability of arithmetic

84%
Grzegorczyk A.
Fundamenta Mathematicae
|
1956
|
tom 43
|
nr 2
166-177
3
Content available remote

Elementarily definable analysis

84%
Grzegorczyk A.
Fundamenta Mathematicae
|
1955
|
tom 41
|
nr 2
311-338
4
Content available remote

A note on the theory of propositional types

84%
Grzegorczyk A.
Fundamenta Mathematicae
|
1964
|
tom 54
|
nr 1
27-29
5
Content available remote

On the definition of computable functionals

84%
Grzegorczyk A.
Fundamenta Mathematicae
|
1955
|
tom 42
|
nr 2
232-239
6
Content available remote

Recursive objects in all finite types

84%
Grzegorczyk A.
Fundamenta Mathematicae
|
1964
|
tom 54
|
nr 1
73-93
7
Content available remote

Computable functionals

67%
Grzegorczyk A.
Fundamenta Mathematicae
|
1955
|
tom 42
|
nr 1
168-202
8
Content available remote

A kind of categoricity

67%
Grzegorczyk A.
Colloquium Mathematicum
|
1962
|
tom 9
|
nr 2
183-187
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.