TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1976 / Tom 5 / Numer 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics

s. 138 - 142

Robert K. Meyer

CZYSTY TEKST
Robert K. Meyer, Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 138 - 142

BIBTEX
@Article{ authors = " Robert K. Meyer", title = "Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "138 - 142" }
A new proof of structural completeness of Lukasiewicz's logic

s. 145 - 150

piotr Wojtylak

CZYSTY TEKST
piotr Wojtylak, A new proof of structural completeness of Lukasiewicz's logic, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 145 - 150

BIBTEX
@Article{ authors = " piotr Wojtylak", title = "A new proof of structural completeness of Lukasiewicz's logic", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "145 - 150" }
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus

s. 153 - 156

Piotr Wojtylak

CZYSTY TEKST
Piotr Wojtylak, On structural completeness of the infinite-valued Lukasiewicz's propositional calculus, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 153 - 156

BIBTEX
@Article{ authors = " Piotr Wojtylak", title = "On structural completeness of the infinite-valued Lukasiewicz's propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "153 - 156" }
Remarks on Hallden completeness of modal and intermediate logics

s. 126 - 128

Andrzej Wroński

CZYSTY TEKST
Andrzej Wroński, Remarks on Hallden completeness of modal and intermediate logics, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 126 - 128

BIBTEX
@Article{ authors = " Andrzej Wroński", title = "Remarks on Hallden completeness of modal and intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "126 - 128" }
The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras

s. 130 - 131

Andrzej Wroński

CZYSTY TEKST
Andrzej Wroński, The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 130 - 131

BIBTEX
@Article{ authors = " Andrzej Wroński", title = "The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebras", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "130 - 131" }
Relevant arithmetic

s. 133 - 135

Robert K. Meyer

CZYSTY TEKST
Robert K. Meyer, Relevant arithmetic, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 133 - 135

BIBTEX
@Article{ authors = " Robert K. Meyer", title = "Relevant arithmetic", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "133 - 135" }