TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1998 / Tom 27 / Numer 3 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Propositional calculus with identity

s. 96 - 104

CZYSTY TEKST
Propositional calculus with identity, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 96 - 104

BIBTEX
@Article{ authors = "", title = "Propositional calculus with identity", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "96 - 104" }
G. Birkhoff's theorems for M-solid varieties

s. 105 - 116

Ewa Graczyńska

CZYSTY TEKST
Ewa Graczyńska, G. Birkhoff's theorems for M-solid varieties, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 105 - 116

BIBTEX
@Article{ authors = " Ewa Graczyńska", title = "G. Birkhoff's theorems for M-solid varieties", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "105 - 116" }
On eight independent equational axiom-atisations for fork algebras

s. 117 - 129

Paulo A.S. Veloso

CZYSTY TEKST
Paulo A.S. Veloso, On eight independent equational axiom-atisations for fork algebras, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 117 - 129

BIBTEX
@Article{ authors = " Paulo A.S. Veloso", title = "On eight independent equational axiom-atisations for fork algebras", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "117 - 129" }
A polynomial translation of Goedel's functional interpretation

s. 130 - 137

CZYSTY TEKST
A polynomial translation of Goedel's functional interpretation, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 130 - 137

BIBTEX
@Article{ authors = "", title = "A polynomial translation of Goedel's functional interpretation", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "130 - 137" }
Relational logics for formalization of database dependencies

s. 138 - 143

Wojciech Buszkowski Ewa Orłowska

CZYSTY TEKST
Wojciech Buszkowski, Ewa Orłowska, Relational logics for formalization of database dependencies, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 138 - 143

BIBTEX
@Article{ authors = " Wojciech Buszkowski, Ewa Orłowska", title = "Relational logics for formalization of database dependencies", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "138 - 143" }
Remark on visual presentation of deductions in Jaskowski's method of suppositions

s. 144 - 147

CZYSTY TEKST
Remark on visual presentation of deductions in Jaskowski's method of suppositions, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 144 - 147

BIBTEX
@Article{ authors = "", title = "Remark on visual presentation of deductions in Jaskowski's method of suppositions", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "144 - 147" }