×

Found 22 Documents (Results 1–22)

100
MathJax

Combining type disciplines. (English) Zbl 0919.03028

Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 31-70 (1994).
MSC:  03B70 68Q55 03F05
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification