-
System S-bars. 75 - 79CZYSTY TEKST
Teodor Stępień, System S-bar, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 75 - 79
BIBTEX@Article{ authors = " Teodor Stępień", title = "System S-bar", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "75 - 79" }
-
A new theory of time: generation of time from fuzzy temporal relationss. 56 - 62CZYSTY TEKST
Maria Nowakowska, A new theory of time: generation of time from fuzzy temporal relations, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 56 - 62
BIBTEX@Article{ authors = " Maria Nowakowska", title = "A new theory of time: generation of time from fuzzy temporal relations", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "56 - 62" }
-
The deontic calculus DSC3s. 63 - 67CZYSTY TEKST
Leon Gumański, The deontic calculus DSC3, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 63 - 67
BIBTEX@Article{ authors = " Leon Gumański", title = "The deontic calculus DSC3", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "63 - 67" }
-
Nonstandard runs and program verifications. 68 - 74CZYSTY TEKST
Laszlo Csirmaz, Nonstandard runs and program verification, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 68 - 74
BIBTEX@Article{ authors = " Laszlo Csirmaz", title = "Nonstandard runs and program verification", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "68 - 74" }
-
Another proof of Wojtylak's theorems. 80 - 82CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, Another proof of Wojtylak's theorem, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 80 - 82
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "Another proof of Wojtylak's theorem", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "80 - 82" }
-
On the completeness of program verifications methodss. 83 - 90CZYSTY TEKST
Balazs Biro, On the completeness of program verifications methods, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 83 - 90
BIBTEX@Article{ authors = " Balazs Biro", title = "On the completeness of program verifications methods", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "83 - 90" }
-
On Rine's view of Boolean algebrass. 91 - 92CZYSTY TEKST
George Epstein, On Rine's view of Boolean algebras, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 91 - 92
BIBTEX@Article{ authors = " George Epstein", title = "On Rine's view of Boolean algebras", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "91 - 92" }
-
On a problem on BCK-algebrass. 93 - 99CZYSTY TEKST
Marek Pałasiński, On a problem on BCK-algebras, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 93 - 99
BIBTEX@Article{ authors = " Marek Pałasiński", title = "On a problem on BCK-algebras", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "93 - 99" }
