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 Połacik, Tomasz
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
2016
A semantic approach to conservativity
Połacik, Tomasz
2005
Anti-chains, focuses and projective formulas
Połacik, Tomasz
2013
Bisimulation reducts and submodels of intuitionistic first-order Kripke models
Połacik, Tomasz
1999
Partially-elementary extension Kripke models and Burr's hierarchy
Połacik, Tomasz
2003
Quantified intuitionistic propositional logic and Cantor space
Połacik, Tomasz