- John Loader:
An alternative concept of the universal decision element in m-valued logic. Math. Log. Q. 21(1): 369-375 (1975) - Horst Luckhardt:
A short proof of a well-known theorem of intuitionistic analysis. Math. Log. Q. 21(1): 185-186 (1975) - V. Wiktor Marek, M. Srebrny:
No minimal transitive model of Z-. Math. Log. Q. 21(1): 225-228 (1975) - Ivan Marques:
On speedability of recursively enumerable sets. Math. Log. Q. 21(1): 199-214 (1975) - John Neil Martin:
A syntactic characterization of Kleene's strong connectives with two designated values. Math. Log. Q. 21(1): 181-184 (1975) - Terry A. McKee:
Infinitary logic and topological homeomorphisms. Math. Log. Q. 21(1): 405-408 (1975) - T. G. McLaughlin:
A note concerning the V* relation on Λr. Math. Log. Q. 21(1): 177-179 (1975) - Michael Mortimer:
On languages with two variables. Math. Log. Q. 21(1): 135-140 (1975) - Juhani Nieminen:
A note on simple graphic algebras. Math. Log. Q. 21(1): 365-367 (1975) - Biswambhar Pahi:
Jankov-theorems for some implicational calculi. Math. Log. Q. 21(1): 193-198 (1975) - Donald H. Pelletier:
On violating the GCH below the least measurable cardinal. Math. Log. Q. 21(1): 361-364 (1975) - Witold A. Pogorzelski, Tadeusz Prucnal:
Structural completeness of the first-order predicate calculus. Math. Log. Q. 21(1): 315-320 (1975) - Marian Boykan Pour-El, Jerome Caldwell:
On a simple definition of computable function of a real variable-with applications to functions of a complex variable. Math. Log. Q. 21(1): 1-19 (1975) - Joachim Reineke:
Minimale Gruppen. Math. Log. Q. 21(1): 357-359 (1975) - Alan Rose:
A note on the existence of tautologies without constants. Math. Log. Q. 21(1): 141-144 (1975) - John W. Rosenthal:
Truth in all of certain well-founded countable models arising in set theory. Math. Log. Q. 21(1): 97-106 (1975) - John W. Rosenthal:
Partial n1-homogeneity of the countable saturated model of an n1-categorical theory. Math. Log. Q. 21(1): 307-308 (1975) - Imre Z. Ruzsa:
Two variants of the system of entailment. Math. Log. Q. 21(1): 57-68 (1975) - Claus-Peter Schnorr, G. Stumpf:
A characterization of complexity sequences. Math. Log. Q. 21(1): 47-56 (1975) - George F. Schumm:
Disjunctive extensions of S4 and a conjecture of Goldblatt's. Math. Log. Q. 21(1): 81-86 (1975) - Dietrich Schwartz:
Ultraprodukte in der Theorie der logischen Auswahlfunktionen. Math. Log. Q. 21(1): 385-394 (1975) - Antonín Sochor:
Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers). Math. Log. Q. 21(1): 439-442 (1975) - P. H. Stanford:
Polish circles. Math. Log. Q. 21(1): 395-399 (1975) - Karsten Steffens:
Der Satz von Dilworth und Souslin's Hypothese. Math. Log. Q. 21(1): 187-192 (1975) - Bernd J. Stephan:
Compactness and recursive enumerability in intensional logic. Math. Log. Q. 21(1): 343-346 (1975) - Steven K. Thomason:
The logical consequence relation of propositional tense logic. Math. Log. Q. 21(1): 29-40 (1975) - Steven K. Thomason:
Reduction of second-order logic to modal logic. Math. Log. Q. 21(1): 107-114 (1975) - Petr Vopenka, Antonín Sochor:
Contributions to the theory of semisets V: On the axiom of general collapse. Math. Log. Q. 21(1): 289-302 (1975) - Martin Weese:
Zum Isomorphieproblem der Booleschen Algebren. Math. Log. Q. 21(1): 455-462 (1975) - T. C. Wesselkamper:
Weak completeness and Abelian semigroups. Math. Log. Q. 21(1): 303-305 (1975)