-
The Fraenkel-Carnap Question for Limited Higher-OrderLanguagess. 1 - 9CZYSTY TEKST
Benjamin R. George, George Weaver, 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 = " Benjamin R. George, George Weaver", 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 Pocrigss. 11 - 16CZYSTY 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 Systemss. 17 - 33CZYSTY TEKST
Sergey Babenyshev, Manuel A. Martins, Admissible Equivalence Systems, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 17 - 33
BIBTEX@Article{ authors = " Sergey Babenyshev, 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 Paradoxs. 35 - 42CZYSTY 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 - Stabilitys. 43 - 51CZYSTY 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 Namess. 53 - 55CZYSTY 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 Graphss. 57 - 64CZYSTY TEKST
Anna Bień, Cycles in Nielsen's Graphs, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 57 - 64
BIBTEX@Article{ authors = " Anna Bień", 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 Calculuss. 65 - 78CZYSTY 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 Axiomss. 79 - 91CZYSTY TEKST
Jose M. Mendez, Gemma Robles, 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 = " Jose M. Mendez, Gemma Robles", 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 Algebrass. 93 - 102CZYSTY 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" }
