TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2010 / Tom 39 / Numer 1-2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

The Fraenkel-Carnap Question for Limited Higher-OrderLanguages

s. 1 - 9

CZYSTY TEKST
The Fraenkel-Carnap Question for Limited Higher-OrderLanguages, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 1 - 9

BIBTEX
@Article{ authors = "", title = "The Fraenkel-Carnap Question for Limited Higher-OrderLanguages", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "1 - 9" }
Residuation Subreducts of Pocrigs

s. 11 - 16

Janis Cirulis

CZYSTY TEKST
Janis Cirulis, Residuation Subreducts of Pocrigs, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 11 - 16

BIBTEX
@Article{ authors = " Janis Cirulis", title = "Residuation Subreducts of Pocrigs", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "11 - 16" }
Admissible Equivalence Systems

s. 17 - 33

Manuel A. Martins

CZYSTY TEKST
Manuel A. Martins, Admissible Equivalence Systems, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 17 - 33

BIBTEX
@Article{ authors = " Manuel A. Martins", title = "Admissible Equivalence Systems", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "17 - 33" }
Gentzen's Cut-Free Calculus Versus the Logic of Paradox

s. 35 - 42

Alexej P. Pynko

CZYSTY TEKST
Alexej P. Pynko, Gentzen's Cut-Free Calculus Versus the Logic of Paradox, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 35 - 42

BIBTEX
@Article{ authors = " Alexej P. Pynko", title = "Gentzen's Cut-Free Calculus Versus the Logic of Paradox", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "35 - 42" }
AbsolutelyUbiquitous Structures and אi0 - Stability

s. 43 - 51

Gabor Sagi

CZYSTY TEKST
Gabor Sagi, AbsolutelyUbiquitous Structures and אi0 - Stability, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 43 - 51

BIBTEX
@Article{ authors = " Gabor Sagi", title = "AbsolutelyUbiquitous Structures and אi0 - Stability", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "43 - 51" }
Hallden Incomplete Calculus of Names

s. 53 - 55

Piotr Kulicki

CZYSTY TEKST
Piotr Kulicki, Hallden Incomplete Calculus of Names, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 53 - 55

BIBTEX
@Article{ authors = " Piotr Kulicki", title = "Hallden Incomplete Calculus of Names", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "53 - 55" }
Cycles in Nielsen's Graphs

s. 57 - 64

CZYSTY TEKST
Cycles in Nielsen's Graphs, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 57 - 64

BIBTEX
@Article{ authors = "", title = "Cycles in Nielsen's Graphs", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "57 - 64" }
Strong Normalization of Program-Indexed Lambda Calculus

s. 65 - 78

Norihiro Kamide

CZYSTY TEKST
Norihiro Kamide, Strong Normalization of Program-Indexed Lambda Calculus, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 65 - 78

BIBTEX
@Article{ authors = " Norihiro Kamide", title = "Strong Normalization of Program-Indexed Lambda Calculus", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "65 - 78" }
AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms

s. 79 - 91

Gemma Robles Jose M. Mendez

CZYSTY TEKST
Gemma Robles, Jose M. Mendez, AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 79 - 91

BIBTEX
@Article{ authors = " Gemma Robles, Jose M. Mendez", title = "AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "79 - 91" }
M-Hyperquasi-Identities of Finite Algebras

s. 93 - 102

Ewa Graczyńska

CZYSTY TEKST
Ewa Graczyńska, M-Hyperquasi-Identities of Finite Algebras, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 93 - 102

BIBTEX
@Article{ authors = " Ewa Graczyńska", title = "M-Hyperquasi-Identities of Finite Algebras", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "93 - 102" }