Wczytuję…
Wczytuję…
4 dzieła w katalogach bibliotek
Wyników: 4
A Complete deductive system for the ~^m-calculus
Igor Walukiewicz
1993–1994 · 2 wydania · polski, angielski
3biblioteki
A Complete deductive system for the bm-calculus
Igor Walukiewicz
1994 · 1 wydanie · angielski
1biblioteka
A complete deductive system for the u-calculus
Igor Walukiewicz
1995 · 1 wydanie · angielski
0bibliotek
Notes on the propositional u-calculus : completeness and related results
Igor Walukiewicz
1995 · 1 wydanie · angielski
0bibliotek