TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2001 / Tom 30 / Numer 3 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

A Note on Decision Problems for Implicational Sequent Calculi

s. 129 - 138

Norihiro Kamide

CZYSTY TEKST
Norihiro Kamide, A Note on Decision Problems for Implicational Sequent Calculi, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 129 - 138

BIBTEX
@Article{ authors = " Norihiro Kamide", title = "A Note on Decision Problems for Implicational Sequent Calculi", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "129 - 138" }
Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property

s. 139 - 146

Francisco Salto Jose M. Mendez Gemma Robles

CZYSTY TEKST
Francisco Salto, Jose M. Mendez, Gemma Robles, Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 139 - 146

BIBTEX
@Article{ authors = " Francisco Salto, Jose M. Mendez, Gemma Robles", title = "Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "139 - 146" }
Some Remarks on Maehara's Method

s. 147 - 154

Takahiro Seki

CZYSTY TEKST
Takahiro Seki, Some Remarks on Maehara's Method, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 147 - 154

BIBTEX
@Article{ authors = " Takahiro Seki", title = "Some Remarks on Maehara's Method", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "147 - 154" }
Non-Computability of the Equational Theory of Polyadic Algebras

s. 155 - 164

Gabor Sagi

CZYSTY TEKST
Gabor Sagi, Non-Computability of the Equational Theory of Polyadic Algebras, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 155 - 164

BIBTEX
@Article{ authors = " Gabor Sagi", title = "Non-Computability of the Equational Theory of Polyadic Algebras", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "155 - 164" }
Hilbert's New Problem

s. 165 - 175

Larry Wos Ruediger Thiele

CZYSTY TEKST
Larry Wos, Ruediger Thiele, Hilbert's New Problem, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 165 - 175

BIBTEX
@Article{ authors = " Larry Wos, Ruediger Thiele", title = "Hilbert's New Problem", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "165 - 175" }