Skip navigation
RE-BUŚ
Przeglądaj
Zespoły i Kolekcje
Przeglądaj wg:
Data wydania
Autor
Tytuł
Słowa kluczowe
Pomoc
Język
English
polski
Moje konto
Mój RE-BUŚ
Subskrybuj
Edytuj profil
Rejestracja
Przeglądaj wg: Autor Wojtylak, Piotr
Przejdź do:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
lub wpisz kilka pierwszych liter:
Sortowanie wg:
tytuł
data wydania
data zamieszczenia
Sortuj:
rosnąco
malejąco
Wyniki/Stronę
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autorzy/Opis:
Całość
1
5
10
15
20
25
30
35
40
45
50
Wyświetlanie wyników 1 do 5 z 5
Data wydania
Tytuł
Autor
1976
A new proof of structural completeness Łukasiewicz's logics
Wojtylak, Piotr
1990
A syntactical characterization of structural completeness for implicational logics
Wojtylak, Piotr
1979
Matrix representations for structural strengthenings of a propositional logic
Wojtylak, Piotr
1976
On structural completeness of the infinite-valued Łukasiewicz's propositional calculus
Wojtylak, Piotr
1979
Strongly finite logics : finite axiomatizability and the problem of supremium
Wojtylak, Piotr