TYTUŁ
Bulletin of the Section of Logic 1981 / Tom 10 / Numer 2
1981 / Tom 10 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A new theory of time: generation of time from fuzzy temporal relationss. 56 - 62CZYSTY TEKSTBIBTEX
-
The deontic calculus DSC3s. 63 - 67CZYSTY TEKSTBIBTEX
-
Nonstandard runs and program verifications. 68 - 74CZYSTY TEKSTBIBTEX
-
System S-bars. 75 - 79CZYSTY TEKSTBIBTEX
-
Another proof of Wojtylak's theorems. 80 - 82CZYSTY TEKSTBIBTEX
-
On the completeness of program verifications methodss. 83 - 90CZYSTY TEKSTBIBTEX
-
On Rine's view of Boolean algebrass. 91 - 92CZYSTY TEKSTBIBTEX
-
On a problem on BCK-algebrass. 93 - 99CZYSTY TEKSTBIBTEX
