Top
| The scientific work of A. I. Arruda | |
| Foundations of set theory: Reflection properties induced by some large cardinal axioms | |
| Taxonometric partitions | |
| Diamonds, large cardinals, and ultrafilters | |
| Algebraic logic: Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes, preeservant une partie generatrice de celle-ci | |
| Ordered structures in the description of quantum systems: mathematical progress | |
| Philosophical aspects of mathematical logic: Infinities in mathematics and the natural sciences | |
| The 50th anniversary of Gentzen's thesis | |
| Interactions between logic, mathematics, and computer science: Logics and pseudogroups | |
| Sets of relational systems as models for stochastic processes | |
| A general framework for semantics for propositional logics | |
| Formal languages and topological spaces | |
| Automatic theorem proving: an attempt to improve readability of proofs generated by resolution | |
| The downward Lowenheim-Skolem theorem for L-structure in $\Omega$-sets | |
| The derivative of truth in Lukasiewicz sentential calculus | |
| Equivalence relations on lattices and the complexity of the theory of permutations which commute | |
| Problem solving by interpretation of theories | |
| Table of Contents provided by Publisher. All Rights Reserved. |
