×

Found 3 Documents (Results 1–3)

Categoricity and quantifier elimination for intuitionistic theories. (English) Zbl 1106.03034

Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 23-41 (2006).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field