- Gregory Mellema:
On measures and distinguishability. Notre Dame J. Formal Log. 24(1): 151-158 (1983) - Robert K. Meyer:
A note on ℝ-> matrices. Notre Dame J. Formal Log. 24(4): 450-472 (1983) - Zarko Mijajlovic:
Submodels and definable points in models of Peano arithmetic. Notre Dame J. Formal Log. 24(4): 417-425 (1983) - Arnold W. Miller:
On the Borel classification of the isomorphism class of a countable model. Notre Dame J. Formal Log. 24(1): 22-34 (1983) - Ieke Moerdijk:
On the Freyd cover of a topos. Notre Dame J. Formal Log. 24(4): 517-526 (1983) - Ralph H. Moon:
Correction of the semantics for S4.03 and a note on literal disjunctive symmetry. Notre Dame J. Formal Log. 24(3): 337-345 (1983) - Chris Mortensen:
The validity of disjunctive syllogism is not so easily proved. Notre Dame J. Formal Log. 24(1): 35-40 (1983) - István Németi:
The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to HP. Notre Dame J. Formal Log. 24(3): 399-409 (1983) - Anand Pillay:
ℵ0-categoricity over a predicate. Notre Dame J. Formal Log. 24(4): 527-536 (1983) - Stephen Read:
Burgess on relevance: a fallacy indeed. Notre Dame J. Formal Log. 24(4): 473-481 (1983) - La Verne Shelton:
A diachronic semantics for inexact reference. Notre Dame J. Formal Log. 24(1): 67-88 (1983) - Anjan Shukla:
Consistent, independent, and distinct propositions. III. Modalities in S6. Notre Dame J. Formal Log. 24(1): 141-142 (1983) - Robin Smith:
Completeness of an ecthetic syllogistic. Notre Dame J. Formal Log. 24(2): 224-232 (1983) - Bhavani M. Thuraisingham:
Cylindrical decision problems for system functions. Notre Dame J. Formal Log. 24(2): 188-198 (1983) - Bhavani M. Thuraisingham:
Some elementary closure properties of n-cylinders. Notre Dame J. Formal Log. 24(2): 242-254 (1983) - Bhavani M. Thuraisingham:
The concept of n-cylinder and its relationship to simple sets. Notre Dame J. Formal Log. 24(3): 328-336 (1983) - Steven J. Wagner:
Frege's definition of number. Notre Dame J. Formal Log. 24(1): 1-21 (1983) - N. L. Wilson:
The transitivity of implication in tree logic. Notre Dame J. Formal Log. 24(1): 106-114 (1983) - Alberto Zanardo:
On the equivalence between the calculi MCν and ECν+1 of A. Bressan. Notre Dame J. Formal Log. 24(3): 367-388 (1983)
