Andrzej Biela
7 artykuły w 1 czasopismach
-
On Lindenbaum's extentions (Part A) Opublikowano w: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 3-4 / s. 2 - 61974CZYSTY TEKST
Andrzej Biela, On Lindenbaum's extentions (Part A), Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 3-4, s. 2 - 6
BIBTEX@Article{ authors = " Andrzej Biela", title = "On Lindenbaum's extentions (Part A)", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 3-4", pages = "2 - 6" }
-
Lindenbaum's extensions Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 1 / s. 42 - 471981CZYSTY TEKST
Andrzej Biela, Teodor Stępień, Lindenbaum's extensions, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 42 - 47
BIBTEX@Article{ authors = " Andrzej Biela, Teodor Stępień", title = "Lindenbaum's extensions", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "42 - 47" }
-
Studies on Church's calculus Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 2 / s. 57 - 611976CZYSTY TEKST
Andrzej Biela, piotr Hallala, Studies on Church's calculus, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 2, s. 57 - 61
BIBTEX@Article{ authors = " Andrzej Biela, piotr Hallala", title = "Studies on Church's calculus", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 2", pages = "57 - 61" }
-
On Lindenbaum's extentions (Part B) Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 2 / s. 65 - 691975CZYSTY TEKST
Andrzej Biela, On Lindenbaum's extentions (Part B), Bulletin of the Section of Logic, 1975 / Tom 4 / Numer 2, s. 65 - 69
BIBTEX@Article{ authors = " Andrzej Biela", title = "On Lindenbaum's extentions (Part B)", journal = "Bulletin of the Section of Logic", issue = "1975 / Tom 4 / Numer 2", pages = "65 - 69" }
-
On Lindenbaum's extensions Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 2 / s. 68 - 751976CZYSTY TEKST
Andrzej Biela, On Lindenbaum's extensions, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 2, s. 68 - 75
BIBTEX@Article{ authors = " Andrzej Biela", title = "On Lindenbaum's extensions", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 2", pages = "68 - 75" }
-
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 69 - 741984CZYSTY TEKST
Andrzej Biela, The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 69 - 74
BIBTEX@Article{ authors = " Andrzej Biela", title = "The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "69 - 74" }
-
On two properties of structurally complete logics Opublikowano w: Bulletin of the Section of Logic 1982 / Tom 11 / Numer 3-4 / s. 154 - 1581982CZYSTY TEKST
Andrzej Biela, Wiesław Dziobiak, On two properties of structurally complete logics, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 154 - 158
BIBTEX@Article{ authors = " Andrzej Biela, Wiesław Dziobiak", title = "On two properties of structurally complete logics", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "154 - 158" }