advanced set theory
Algebraic Counterpart
algebraic structures theory
Banach space stability
Boolean Algebra
Bounded Distributive Lattice
Category=PBC
Category=PBF
Category=PBW
Consistent Extension
Countable Language
Countable Ordinal
Dense
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Follow
Heyting Algebras
Inaccessible Cardinal
Induction Hypothesis
Inference Rules
Infinite Subsets
Initial Segment
Large Cardinal Axioms
Large Cardinals
Linear Order
Logic
logic mathematics computer science interactions
Mathematical Congresses
mathematical logic research
MATHEMATICS Algebra General
MATHEMATICS General
model theory applications
Ord
Predicate Symbols
proof systems analysis
Pseudocomplement
Set A
Symbolic and mathematical
Symbolic and mathematical Congresses
Topological Spaces
Turing Machine
Uncountable Cardinals
Product details
- ISBN 9780824719708
- Weight: 816g
- Dimensions: 210 x 280mm
- Publication Date: 05 Nov 1998
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."
Xavier Caicedo, Carlos Montenegro
