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.
What is included with this book?
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.
Please wait while the item is added to your bag...