Lightstone, A H.,

The axiomatic method : An introduction to mathematical logic - 246 páginas


Teoría de conjuntos
Álgebra abstracta
Lógica simbólica y matemática

QA248 / L53