ON LOVELY PAIRS OF GEOMETRIC STRUCTURES 1. Introduction
On Linear Inference
On interpretations of arithmetic and set theory
On Infinitely Nested Radicals
On Horn envelopes and hypergraph transversals
On Herbrand`s Theorem for Intuitionistic Logic
On Herbrand`s Theorem - UCSD Mathematics
On Gabbay`s temporal fixed point operator
On fuzzy semi-preopen sets and fuzzy semi
on fuzzy intuitionistic logic
On Equivalent Transformations of Infinitary Formulas under the
On Elkan`s theorems: Clarifying their meaning
On Dummett`s Pragmatist Justification Procedure
On Dimension Theory by Using Sets
On Decidability of Intuitionistic Modal Logics
On Countable Chains Having Decidable Monadic Theory.
on Computability
On atomic AEC and quasi-minimality
On Action Logic
On a Symposium on the Foundations of Mathematics (1971) Paul
