- Jan Krajícek:
A Possible Modal Formulation of Comprehension Scheme. Math. Log. Q. 33(5): 461-480 (1987) - Michal Krynicki:
On Some Applications of Games for Härtig Quantifier. Math. Log. Q. 33(4): 359-370 (1987) - Miroslaw Kutylowski, Krzysztof Lorys:
A Note on "ℰ. Math. Log. Q. 33(2): 115-121 (1987) - Alistair H. Lachlan:
A Note on Positive Equivalence Relations. Math. Log. Q. 33(1): 43-46 (1987) - Hilbert Levitz, Warren D. Nichols:
Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen. Math. Log. Q. 33(6): 527-535 (1987) - Ingrid Lindström:
Degrees of Souslin And Aronszajn Trees. Math. Log. Q. 33(2): 159-170 (1987) - Kenneth L. Manders:
On Algebraic Geometry Over Rings with Exponentiation. Math. Log. Q. 33(4): 289-292 (1987) - Alejandro Margarit, Luis M. Laita:
Abraham Robinson's Meta-Algebra Revisited. Math. Log. Q. 33(6): 497-505 (1987) - Pierluigi Minari:
Quasilinear Posets and some Subsystems Of Dummett's LC. Math. Log. Q. 33(3): 257-266 (1987) - Pierluigi Minari:
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains. Math. Log. Q. 33(5): 385-387 (1987) - G. P. Monro:
The Concept of Multiset. Math. Log. Q. 33(2): 171-178 (1987) - Franco Montagna:
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras. Math. Log. Q. 33(4): 293-303 (1987) - Kandasamy Muthuvel:
Some Results Related to Patai's Theorem. Math. Log. Q. 33(6): 561-563 (1987) - Hiroakira Ono:
Reflection Principles in Fragments of Peano Arithmetic. Math. Log. Q. 33(4): 317-333 (1987) - Andrzej Orlicki:
Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets. Math. Log. Q. 33(4): 371-384 (1987) - Andrzej Orlicki:
On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations. Math. Log. Q. 33(6): 485-496 (1987) - Adam Piolunowicz:
On the Shadows of Ideals. Math. Log. Q. 33(3): 193-197 (1987) - Juergen Quandt:
Relative Consistency of a Set Theory with Hyperclasses. Math. Log. Q. 33(2): 101-106 (1987) - Agustin Riscos, Luis M. Laita:
N-Categories in Logic. Math. Log. Q. 33(6): 507-516 (1987) - Alan Rose:
A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus. Math. Log. Q. 33(2): 187-192 (1987) - Alan Rose:
A Strongly Complete Formalisation of a 5-Valued Propositional Calculus. Math. Log. Q. 33(3): 243-244 (1987) - Michel de Rougemont:
Second-order and Inductive Definability on Finite Structures. Math. Log. Q. 33(1): 47-63 (1987) - Hanamantagouda P. Sankappanavar:
Principal Congruences of Pseudocomplemented Demorgan Algebras. Math. Log. Q. 33(1): 3-11 (1987) - Hanamantagouda P. Sankappanavar:
Heyting Algebras with a Dual Lattice Endomorphism. Math. Log. Q. 33(6): 565-573 (1987) - Daniel G. Schwartz:
A Free-Variable Theory of Primitive Recursive Arithmetic. Math. Log. Q. 33(2): 147-157 (1987) - Daniel G. Schwartz:
On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic. Math. Log. Q. 33(3): 245-253 (1987) - Daniel G. Schwartz:
Semantic Completeness of Free-Variable Theories. Math. Log. Q. 33(5): 441-452 (1987) - Martin K. Solomon:
A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem. Math. Log. Q. 33(5): 417-421 (1987) - Gerold Stahl:
Parallel Theories and Routine Revision in First-Order Logic. Math. Log. Q. 33(5): 457-459 (1987) - Bhavani M. Thuraisingham:
Reducibility Relationships Between Decision Problems for System Functions. Math. Log. Q. 33(4): 305-312 (1987)
