-
A consistent alternative set theory and a new foundation for arithmeticCZYSTY TEKST
P. Jabłoń, A consistent alternative set theory and a new foundation for arithmetic, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " P. Jabłoń", title = "A consistent alternative set theory and a new foundation for arithmetic", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
A logic for indefinite propositionsCZYSTY TEKST
G. F. Liddell, A logic for indefinite propositions, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " G. F. Liddell", title = "A logic for indefinite propositions", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
An alternative account of bringing about : with a pinch of relevanceCZYSTY TEKST
I. L. Humberstone, An alternative account of bringing about : with a pinch of relevance, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " I. L. Humberstone", title = "An alternative account of bringing about : with a pinch of relevance", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
A tableau system for positive relevant implicationCZYSTY TEKST
Michael A. Mc Robbie, A tableau system for positive relevant implication, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " Michael A. Mc Robbie", title = "A tableau system for positive relevant implication", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Combinatory logics and lambda calculi as model programming languagesCZYSTY TEKST
J. Staples, Combinatory logics and lambda calculi as model programming languages, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " J. Staples", title = "Combinatory logics and lambda calculi as model programming languages", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Current research in relevant logicCZYSTY TEKST
Robert K. Meyer, Current research in relevant logic, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Current research in relevant logic", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Model theory via imaginary universesCZYSTY TEKST
J. E. Hutchinson, Model theory via imaginary universes, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " J. E. Hutchinson", title = "Model theory via imaginary universes", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
New directions in foundations of mathematicsCZYSTY TEKST
J. N. Crossley, New directions in foundations of mathematics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " J. N. Crossley", title = "New directions in foundations of mathematics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
On the metamathematics of ordinal arithmeticsCZYSTY TEKST
E. A. Sonenberg, On the metamathematics of ordinal arithmetics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " E. A. Sonenberg", title = "On the metamathematics of ordinal arithmetics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Paradise lostCZYSTY TEKST
J.R. Trotter, Paradise lost, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " J.R. Trotter", title = "Paradise lost", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Physical topology: some problemsCZYSTY TEKST
C. Mortensen, G. Nerlich, Physical topology: some problems, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " C. Mortensen, G. Nerlich", title = "Physical topology: some problems", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Semantical investigation of Arruda-da Costa P sytstems and of adjacent nonsubstitutional relevant systemsCZYSTY TEKST
Andrea Loparic, F. R. Routley, Semantical investigation of Arruda-da Costa P sytstems and of adjacent nonsubstitutional relevant systems, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " Andrea Loparic, F. R. Routley", title = "Semantical investigation of Arruda-da Costa P sytstems and of adjacent nonsubstitutional relevant systems", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
The dialectical rule of strenghtCZYSTY TEKST
J. D. Mackenzie, The dialectical rule of strenght, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " J. D. Mackenzie", title = "The dialectical rule of strenght", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
The logic of paradoxCZYSTY TEKST
Graham Priest, The logic of paradox, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " Graham Priest", title = "The logic of paradox", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
The structure of type theoryCZYSTY TEKST
C. Sayword, S. H. Voss, The structure of type theory, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " C. Sayword, S. H. Voss", title = "The structure of type theory", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Thing, name, numberCZYSTY TEKST
L. Cumming, Thing, name, number, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " L. Cumming", title = "Thing, name, number", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
Two remarks on the logic of significance and contextCZYSTY TEKST
R. T. Brady, Two remarks on the logic of significance and context, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " R. T. Brady", title = "Two remarks on the logic of significance and context", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
On the depth of a consequence operations. 96 - 101CZYSTY TEKST
Andrzej Wroński, On the depth of a consequence operation, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s. 96 - 101
BIBTEX@Article{ authors = " Andrzej Wroński", title = "On the depth of a consequence operation", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "96 - 101" }
-
An axiomatization of the variety of equivalential algebras by a single identitys. 102 - 106CZYSTY TEKST
Jacek K. Kabziński, An axiomatization of the variety of equivalential algebras by a single identity, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s. 102 - 106
BIBTEX@Article{ authors = " Jacek K. Kabziński", title = "An axiomatization of the variety of equivalential algebras by a single identity", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "102 - 106" }
-
Possible worlds and many truth valuess. 107 - 111CZYSTY TEKST
S. H. Thomason, Possible worlds and many truth values, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s. 107 - 111
BIBTEX@Article{ authors = " S. H. Thomason", title = "Possible worlds and many truth values", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "107 - 111" }
-
The lattice of modal logicss. 112 - 115CZYSTY TEKST
W.J. Blok, The lattice of modal logics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s. 112 - 115
BIBTEX@Article{ authors = " W.J. Blok", title = "The lattice of modal logics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "112 - 115" }
-
On free relatively pseudocomplemented semilattice with three generatorss. 116 - 122CZYSTY TEKST
Piotr S. Krzystek, On free relatively pseudocomplemented semilattice with three generators, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s. 116 - 122
BIBTEX@Article{ authors = " Piotr S. Krzystek", title = "On free relatively pseudocomplemented semilattice with three generators", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "116 - 122" }
