Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
Ograniczanie wyników
Czasopisma
1
Banach Center Publications
1
Fundamenta Mathematicae
Autorzy
2
Longo G.
1
Asperti A.
1
Barendregt H.
Lata
1
1988
1
1983
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Znaleziono wyników: 2
Liczba wyników na stronie
10
20
50
100
Strona
/ 1
Wyniki wyszukiwania
Sortuj według:
trafności
tytułu publikacji
daty malejąco
daty rosnąco
tytułu czasopisma
nazwiska pierwszego autora
Ogranicz wyniki do:
we wszystkich polach
w tytułach publikacji
w tytułach czasopism
w nazwiskach autorów
w słowach kluczowych
w cytowaniach
Strona
/ 1
1
Dostęp do pełnego tekstu lokalnie
Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman
100%
Asperti A.
,
Longo G.
Banach Center Publications
|
1988
|
tom
21
|
nr
1
21-45
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Recursion theoretic operators and morphisms on numbered sets
70%
Barendregt H.
,
Longo G.
Fundamenta Mathematicae
|
1983
|
tom
119
|
nr
1
49-62
Strona
/ 1
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ć.