-
A basic formal equational predicate logic : part IIs. 75 - 87CZYSTY TEKST
George Tourlakis, A basic formal equational predicate logic : part II, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 75 - 87
BIBTEX@Article{ authors = " George Tourlakis", title = "A basic formal equational predicate logic : part II", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "75 - 87" }
-
On the power of ultrafilter logics. 89 - 97CZYSTY TEKST
Paulo A.S. Veloso, On the power of ultrafilter logic, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 89 - 97
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "On the power of ultrafilter logic", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "89 - 97" }
-
Extremal consequence operationss. 99 - 107CZYSTY TEKST
David Miller, Extremal consequence operations, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 99 - 107
BIBTEX@Article{ authors = " David Miller", title = "Extremal consequence operations", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "99 - 107" }
-
Minimal generic of externally compatible varietiess. 107 - 114CZYSTY TEKST
Teresa Biegańska, Katarzyna Halkowska, Minimal generic of externally compatible varieties, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 107 - 114
BIBTEX@Article{ authors = " Teresa Biegańska, Katarzyna Halkowska", title = "Minimal generic of externally compatible varieties", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "107 - 114" }
-
An internal determinacy metatheorem for Lukasiewicz's Aussagenkalkulss. 115 - 124CZYSTY TEKST
Dale Jacquette, An internal determinacy metatheorem for Lukasiewicz's Aussagenkalkuls, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 115 - 124
BIBTEX@Article{ authors = " Dale Jacquette", title = "An internal determinacy metatheorem for Lukasiewicz's Aussagenkalkuls", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "115 - 124" }
-
Axiomatic proofs through automated reasonings. 125 - 136CZYSTY TEKST
Branden Fitelson, Larry Wos, Axiomatic proofs through automated reasoning, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 125 - 136
BIBTEX@Article{ authors = " Branden Fitelson, Larry Wos", title = "Axiomatic proofs through automated reasoning", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "125 - 136" }
